initialise-binding initialise-storing initialise-giving finalise-failing finalise-throwing scope
  (collateral (bind
    ("main",
     allocate-variable (functions
       (tuples ((values)*),
        values)))),
   sequential (assign
     (bound ("main"),
      function closure (scope
        (match
          (given,
           tuple ()),
         handle-return (scope
           (bind
             ("a",
              allocate-initialised-variable
                (values,
                 is-less
                   (decimal-natural ("2"),
                    decimal-natural ("3")))),
            scope
              (bind
                ("b",
                 allocate-initialised-variable
                   (values,
                    is-greater
                      (decimal-natural ("4"),
                       decimal-natural ("5")))),
               scope
                 (bind
                   ("c",
                    allocate-initialised-variable
                      (values,
                       is-less-or-equal
                         (decimal-natural ("6"),
                          decimal-natural ("7")))),
                  scope
                    (bind
                      ("d",
                       allocate-initialised-variable
                         (values,
                          is-greater-or-equal
                            (decimal-natural ("8"),
                             decimal-natural ("9")))),
                     sequential
                       (print (is-equal
                         (assigned (bound ("a")),
                          assigned (bound ("c")))),
                        print (not (is-equal
                          (assigned (bound ("b")),
                           assigned (bound ("d")))))))))))))),
   apply
     (assigned (bound ("main")),
      tuple ())))