QVT2Alloy: correctly detects top relations