Predicate signature Make0::InputSig1::postOrInOrder

Holds if n is executed in post-order or in-order. This means that an additional node is created to represent n in the control flow graph. Otherwise, n is represented by the “before” node.

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