let check_sat_assuming_supported () = true