let
  function sub(i: int, j: int) :int = i + j
in
  sub(1, 2)
end

$ tc -X --inline -A sub.tig
/* == Abstract Syntax Tree. == */

function _main() =
  (
    let
      function sub_2(i_0 : int, j_1 : int) : int =
        (i_0 + j_1)
    in
      let
        var i_0 : int := 1
        var j_1 : int := 2
        var res : int := (i_0 + j_1)
      in
        res
      end
    end;
    ()
  )