LetExp([
 VarDec(x,true,NONE,
  SeqExp[])],
 VarExp(
  SimpleVar(x)))