Тесты, которые должны работать:
EX CR A1cd VU A2c+3c EN B1ac(i,ii,iii) EN A2c; D VU D1+2 CR A2c+3c; B1ab(iii) CR D VU D2 EN B2ab(i,ii,iii) VU C2a(ii) EN B2ab(i,ii,iii) VU C2a(ii) EN A1c; B1ab(iii); C2a(i) EN B2b(iii)c(ii) EN B1ab(i,ii,v)c(iii,iv); 2b(i)c(ii,v) <- ошибочный! VU B1ab(iii)+2ab(iii) EN A2abc+3bc+4abc; B1b(iii,iv,v)+2b(iii,iv,v)c(ii,iii,iv)