Predicate Make0::Make1::Make2::Additional::Consistency::missingInNodeForPostOrInOrder

Holds if the “in” node is unreachable for a post-or-in-order AST node.

If the “before” node of a post-or-in-order AST node is reachable, then the “in” node should generally be reachable as well. If not, it may indicate missing control flow edges.