IR of closure.lisp, phase 1

closure.ir

$-1 "f"
$-2 "k"
$-3 "display"
$-4 "x"
$-5 "y"
$-6 "n"
$-7 "+"

$0 <- lambda 0 0 {
  $2 <- lambda 1 0 $-1 {
    $4 <- lambda 1 0 $-2 {
      $7 <- value 6
      $6 <- funcall 1 $-2 $7
      $5 <- set $-2 $6
      $10 <- value 1
      $9 <- funcall 1 $-2 $10
      $8 <- funcall 1 $-3 $9
    }
    $12 <- value 5
    $11 <- funcall 1 $-1 $12
    $3 <- funcall 1 $4 $11
  }
  $13 <- lambda 1 0 $-4 {
    $14 <- lambda 1 0 $-5 {
      $15 <- lambda 1 0 $-6 {
        $16 <- funcall 3 $-7 $-4 $-5 $-6
      }
    }
  }
  $1 <- funcall 1 $2 $13
}