Predicate signature MakeImplCommon::TypeFlowInput::relevantCallEdgeOut

Holds if the edge is possibly needed in the direction c to call.

signature predicate relevantCallEdgeOut(DataFlowCall call, DataFlowCallable c)