Alloy theme updated
Fixed bug on QVT2Alloy state instanced