fix problem with generating CNF specs. Still have to fix problems with getting init states after resynthesis