Predicate signature MakeImplCommon::TypeFlowInput::relevantCallEdgeIn

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

signature predicate relevantCallEdgeIn(DataFlowCall call, DataFlowCallable c)