Characteristic predicate Nullness::AlwaysNullExpr::AlwaysNullExpr

AlwaysNullExpr()