Member predicate Make0::Make1::Make2::Public::ControlFlowNode::isAfterTrue

Holds if this node indicates that n evaluates to the value true.