Predicate FlowSteps::calls

Holds if invk may invoke f.

predicate calls(InvokeNode invk, Function f)