Predicate signature Make0::InputSig1::preOrderExpr

Holds if e is executed in pre-order. This is typical for expressions that are pure control-flow constructions without calculation or side effects, such as ConditionalExpr and Switch expressions.

This predicate is only relevant for AST constructs that are not already handled by this library.