alloy/kodkod metamodel abstraction