(JX3-7159): Use `->subsumptive' to separate representative nodes.