% EXPECT: valid x : REAL; y : REAL; QUERY (x * y ) = (y * x); % EXIT: 20