Member predicate Callable::Callable::canReturn

Holds if this callable can return expression e.

predicate canReturn(Expr e)