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

QUERY x*(y*z) = (x*y)*z;
% EXIT: 20