Predicate CallArgs::correct_args_if_called_as_method

Holds if call has correct number of arguments for func. Implies nothing about whether call could call func.

predicate correct_args_if_called_as_method(Call call, FunctionObject func)