let check_sat_assuming_cmd ms = failwith "Not implemented"