"CNF" is separated conversion. Just for debug.
"CNF" is separated conversion. Just for debug.

YaccConstructor/YaccConstructor,VereshchaginaE/YaccConstructor,RomanBelkov/YaccConstructor,nbIxMaN/YaccConstructor,nbIxMaN/YaccConstructor,melentyev/YaccConstructor,sanyaade-g2g-repos/YaccConstructor,melentyev/YaccConstructor,Albiglittle/YaccConstructor,RomanBelkov/YaccConstructor,nbIxMaN/YaccConstructor,Albiglittle/YaccConstructor,RomanBelkov/YaccConstructor,Albiglittle/YaccConstructor,VereshchaginaE/YaccConstructor,YaccConstructor/YaccConstructor,YaccConstructor/YaccConstructor,fedorovr/YaccConstructor,sanyaade-g2g-repos/YaccConstructor,fedorovr/YaccConstructor,fedorovr/YaccConstructor,melentyev/YaccConstructor,sanyaade-g2g-repos/YaccConstructor,VereshchaginaE/YaccConstructor