added InvariantDNFConverter. some more test on specifications