Now that I can read it, I see that this line doesn't even *really* fit with the style of the other lines here IMHO.
```scala
assert(t.variables.exists(_ eq op.into))
```