actually scope RequiredPutsFilter under ArtDecomp