Predicate CallGraph::allCalls

predicate allCalls(Function f, Function g)