the name x appears twice, so both sources must be the same node (compared with `is`). a.max(a) matches, a.max(b) does not.
