AssertionRelS.Bounds
type t = t
val bound_texpr : t -> GobApron.Texpr1.t -> (Z.t option * Z.t option) option