Member predicate Make0::Make1::NodeImpl::isAfterValue

Holds if this is the node representing the normal termination of n with the value t.

Note that n, and most importantly t, must be bound, and if this predicate is used to identify the starting point of a step, then inConditionalContext(n, t.getKind()) must hold. On the other hand, if this is used to identify the end point of a step, then there is no such requirement - in that case t will be translated to the appropriate SuccessorType for n.