Predicate Cached::viableReturnPosOut
Holds if a value at return position pos can be returned to out via call,
taking virtual dispatch into account.
Import path
import semmle.code.java.dataflow.internal.DataFlowImplCommonpredicate viableReturnPosOut(DataFlowCall call, ReturnPosition pos, Node out)