QVT2Alloy: relation calls supported
QVT2Alloy: relation calls supported