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