QVT2Alloy: running for a basic example