Guys. I am dumb. What `assert cond -> package !=null;` mean. It means: If `assert True -> package True;` and If `assert False -> package False;`? This is not explained in all manuals. The `assert cond; result;` is explained. I would open issue/pull request to the documentation.