LetExp([
 VarDec(x,false,SOME(string),
  StringExp("test"))],
 VarExp(
  SimpleVar(x)))