QVT2Alloy: relation calls supported