bugfix in type inference: do not forget attributes (including `AC`)
bugfix in type inference: do not forget attributes (including `AC`)

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition