LinearTwoVarEqualityDomain.ExpressionBounds
type t = VarManagement.t
val bound_texpr : t -> Goblint_lib__.GobApron.Texpr1.t -> Z.t option * Z.t option