[L2]        float x = 1.0;
      VAL   [x=1.0]
[L3]        //@ assert (x > 2);