Member predicate Make0::Make1::NodeImpl::isAfterTrue

Holds if this is the node representing the evaluation of n to the value true.

Note that if this predicate is used to identify the starting point of a step, then inConditionalContext(n, BooleanCondition()) must hold. On the other hand, if this is used to identify the end point of a step, then there is no such requirement.