Predicate Nullness::callMayReturnNull

Holds if call may, directly or indirectly, evaluate to a null literal.

predicate callMayReturnNull(Call call)