A => qr[...(??{B()})...],
B => qr[...(??{C()})...],
C => qr[...(??{A()})...],