Modeling and Reasoning with Multisets and Multirelations in Alloy