Declare Alloy before inserting model definition

This way you can use `Alloy.CFG.foo` in the definition.