towards compatibiltiy with cnf2aig