I try to understand what
```
package ? null
assert cond -> package !=null;
```
means.
Result package !=null - break my head.