let check_sat_assuming_cmd () = failwith "No check-sat-assuming command for Yices2"