let attributes2state dft attr =
      S.annotations2state dft (filterAnnotations attr)