precedes

open infix override fun Op.precedes(that: Op): PrecedesEvaluator(source)

For each of the nodes in that, there is a path from at least one of the nodes in this.