LetExp([
 FunctionDec[
  (g,[
   (a,false,int)],
   SOME(int),
   VarExp(
    SimpleVar(a))),
  (g,[
   (a,false,int)],
   SOME(int),
   VarExp(
    SimpleVar(a)))]],
 IntExp(0))