Predicate CachedSteps::returnStep

Holds if there is a flow step from pred to succ through:

• returning a value from a function call (from the special FunctionReturnNode), or
• throwing an exception out of a function call, or
• the receiver flowing out of a constructor call.