alt/base_attr_isset_alt2.nit:80,4--12: Error: isset on a nullable attribute.