Goal is the goal called if call/N is applied to
LambdaExpression, where ExtraArgs are the additional arguments
to call/N. ExtraArgs can be an integer or a list of concrete
arguments. This predicate is used for cross-referencing and code
highlighting.