Working on QVT2Alloy