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