Characteristic predicate GuardedExpr :: GuardedExpr
GuardedExpr
(
)