LetExp([
 FunctionDec[
  (test,[
   (n,false,notatype),
   (x,false,int)],
   SOME(int),
   OpExp(PlusOp,
    VarExp(
     SimpleVar(n)),
    VarExp(
     SimpleVar(x))))]],
 CallExp(test,[
  IntExp(10)]))