test06.g revision 8097f4aa8c4e8d1445d2ebce2e2614655809ade1
[3]~(a\/[4]~(b\/<4>(a\/b)))->[3]~(b\/a/\<3>(b\/~a))