Predicate mayReturnNull

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

Import path

import cpp
predicate mayReturnNull(Function f)