LetExp([
 VarDec(a,false,SOME(int),
  StringExp(" "))],
 VarExp(
  SimpleVar(a)))