Predicate DataFlow::DataFlow::Internal::callableReturnsOutOrRef

Holds if callable c can return e as an out/ref value for parameter outRef.

predicate callableReturnsOutOrRef(Callable c, Parameter outRef, Expr e)