In widening, added assert(inclusion check).
In widening, added assert(inclusion check).


git-svn-id: 03bf468994112069ace1d9a77857bf6b12d9da5b@618 d6d8869d-df28-4c9d-b3d8-ddc8926f8a8a

nberth/apron4opam,nberth/apron4opam,nberth/apron4opam,nberth/apron4opam,nberth/apron4opam,nberth/apron4opam,nberth/apron4opam