changes in the model
Merge branch 'master' of https://github.com/eskang/validAlloy
changes in git-rm model in order to make some tests