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