let check_sat_assuming_supported () = Flags.Smt.check_sat_assume ()