Predicate signature MakeImplCommon::TypeFlowInput::relevantCallEdgeIn

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

signature predicate relevantCallEdgeIn(Call call, Callable c)