Predicate mayReturnNull
Holds if f may, directly or indirectly, return a null literal.
Import path
import cpppredicate mayReturnNull(Function f)Holds if f may, directly or indirectly, return a null literal.
import cpppredicate mayReturnNull(Function f)