The duplication with `Positioned#contains` makes it all the more worthwhile to either factor out this `productIterator` based approach or replace it with a `TreeAccumulator` :)