base_eq_null_notnull.nit:36,6--14: Warning: expression is not null, since it is a `A`.
base_eq_null_notnull.nit:43,2--10: Warning: expression is not null, since it is a `A`.
true
true
true
true
true
true
true
true
true
true
true
true