test19.k revision 0810ba457e4ccea5700107013ffbc1a3e8dba103
([]a1)->[]<>b1/\([](<>F)->b1)