Member predicate Make0::Make1::NodeImpl::isBefore

Holds if this is the node representing the point in the control flow before the execution of n.