rlmv and2.mv
init
#_createAbn
aig
_sat_debug  -k 1 -p and2.ltl -o and2_prop.cnf -v 1