An alternative encoding of multisets based on Dafny's encoding in Boogie. - View it on GitHub