Predicate IllegalInvocation::calls

Holds if call site cs may invoke function callee as specified by how.

predicate calls(InvokeNode cs, Function callee, string how)