let check_sat_assuming_cmd () = "check-sat"