LetExp([
 VarDec(d,true,NONE,
  IntExp(0))],
 VarExp(
  FieldVar(
   SimpleVar(d),
   f)))