let check_sat_limited_cmd ms = failwith "Yices.check_sat_limited_cmd"