let check_sat_limited_cmd _ = failwith "check-sat with timeout not implemented for CVC4"