LetExp([
 VarDec(x,false,NONE,
  NilExp)],
 VarExp(
  SimpleVar(x)))