
============== BOTTOM ==============
Line #9 Column #9 in Main (.../test/assert/4/main.li).
  - main <-
         ^
Line #13 Column #9 in Main (.../test/assert/4/main.li).
    foo i
         ^
Line #18 Column #7 in Main (.../test/assert/4/main.li).
    i > 2 // must crash here
       ^
================ TOP ===============
Require violated.
