Now grouping the canonicals by reflexive pair, where asymmetric.
Authored by: nerius 2023-11-20
Parent: [r1762]
Child: [r1764]