Characteristic predicate PatternExpr::PatternExpr

PatternExpr()