modelize: ask that attributes in refinements are either noautoninit or have a value