test17.k revision 8097f4aa8c4e8d1445d2ebce2e2614655809ade1
<>([]F)/\<>~[](a1<->a1)/\(x1->T)