QVT14 — QVTc/QVTr : (Guard)Variable is not an OCL Variable

An OCL Variable requires its initializer to be statically type conformant to its type.

A QVTc/QVTd (Guard)Variable defers conformance checking till run-time at which point a non-conformance is a predicate failure.

There is therefore a problem with the WFR inherited from OCL.

Suggest:

VariableDeclaration should be the basis for Variable references.
RealizedVariable should be a VariableDeclaration, not a Variable.
GuardVariable should be a new derivation of VariableDeclaration.

NB VariableDeclaration is the common supertype of Variable and Parameter, although VariableDeclaration is seriously underspecified by OCL.