Characteristic predicate NullGuardedExpr :: NullGuardedExpr
NullGuardedExpr
(
)