using the new model
Merge branch 'prototype' of https://github.com/eskang/validAlloy into prototype
Code changed to allow 2 States