let check_sat_assuming_supported () = false