% EXPECT: valid
x : REAL;
y : REAL;

QUERY (x * y ) = (y * x);