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