icode: if inlining is impossible, at least use a static call
[nit.git] / tests / sav / example_point.sav
1 (0:0)
2 (5:8)
3 false
4 true