QVT2Alloy: support for when/where clauses