LetExp([
 VarDec(b,true,SOME(int),
  IntExp(4))],
 IntExp(0))