convert .cnf to .aig in checker