
============== BOTTOM ==============
Line #9 Column #9 in Main (.../test/assert/2/main.li).
  - main <-
         ^
Line #13 Column #9 in Main (.../test/assert/2/main.li).
    foo i
         ^
Line #18 Column #5 in Main (.../test/assert/2/main.li).
    ? {i > 2} // must crash here
     ^
================ TOP ===============
User assertion violated.
