let x = 3  
in let y = x + x 
   in y + x + 1 end
 + let x = 7 in x + x end 
end