LetExp([
 VarDec(x,false,SOME(asfdsadf),
  IntExp(1))],
 VarExp(
  SimpleVar(x)))