Predicate Nullness::mayReturnNull

Holds if f may, directly or indirectly, return a null literal.

predicate mayReturnNull(Function f)