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