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.