updates related the new Alloy specification
bugfix
Adapting code to new model
Updated code