let check_sat_assuming_supported () = failwith "Not implemented"