Alloy running multiple metamodels