Predicate Guards::Internal::getANullImplyingChild

Gets a child expression of e which is null only if e is null.

Expr getANullImplyingChild(Expr e)