let
  x = 
   let
     y= 4;
   in
assert true;
    y;
in
x