QVT14 — QVTr: Declaration Order

QVTr imposes an unnatural declaration order in the exposition of a RelationCS. Surely the when clause should be early and variable declarations where initializeable?

Suggest relaxing the ordering constraint on declarations in a RelationCS to permit the more readable order

• variable declarations used by when
• when clauses
• variable declarations used by check domains
• check domains
• variable declarations used by enforce domains
• enforce domains
• variable declarations used by where
• where clauses