allsat_interp_BDD_loop use incremental SAT to findout uncoverred case