LetExp([
 VarDec(a,true,NONE,
  SeqExp[])],
 OpExp(PlusOp,
  VarExp(
   SimpleVar(a)),
  IntExp(3)))