Predicate FlowSteps::callStep

Holds if there is a flow step from pred to succ through parameter passing to a function call.

predicate callStep(Node pred, Node succ)