1 base_notnull.nit:25,6: Warning: expression is not null, since it is a `not null E`.
2 base_notnull.nit:28,6: Warning: expression is not null, since it is a `not null E`.
3 base_notnull.nit:31,7: Warning: expression is not null, since it is a `not null E`.
4 base_notnull.nit:32,7: Warning: expression is not null, since it is a `not null E`.
5 base_notnull.nit:33,7: Warning: expression is not null, since it is a `not null E`.
6 base_notnull.nit:34,7: Warning: expression is not null, since it is a `not null E`.
7 base_notnull.nit:35,7: Warning: expression is not null, since it is a `not null E`.
8 base_notnull.nit:36,7: Warning: expression is not null, since it is a `not null E`.