Widening operators on OCaml polyhedra

These two operations are parametrized by the widening mode, see Widening mode.

Function: widening : t -> t -> t

Function: limited_widening : t -> t -> Matrix.t -> t

Same as C functions