alt/base_notnull_1alt1.nit:25,6: Warning: expression is not null, since it is a `not null E`.
alt/base_notnull_1alt1.nit:28,6: Warning: expression is not null, since it is a `not null E`.
alt/base_notnull_1alt1.nit:31,7: Warning: expression is not null, since it is a `not null E`.
alt/base_notnull_1alt1.nit:32,7: Warning: expression is not null, since it is a `not null E`.
alt/base_notnull_1alt1.nit:33,7: Warning: expression is not null, since it is a `not null E`.
alt/base_notnull_1alt1.nit:34,7: Warning: expression is not null, since it is a `not null E`.
alt/base_notnull_1alt1.nit:35,7: Warning: expression is not null, since it is a `not null E`.
alt/base_notnull_1alt1.nit:36,7: Warning: expression is not null, since it is a `not null E`.
1
2
1
2
1
2
1
2
1
2