Predicate InconsistentNew::calls

Holds if callee is a function that may be invoked at callsite cs, where imprecision is a heuristic measure of how likely it is that callee is only suggested as a potential callee due to imprecise analysis of global variables and is not, in fact, a viable callee at all.

predicate calls(InvokeNode cs, Function callee, int imprecision)