rlmv new_and.mv
init
_createAbn
aig
_sat_debug  -k 1  -v 1  -o new_and_prop.cnf and2.ltl