Get rid of toDimacs functionality