[SpecificationDSL] Allow `requires_arc` to store file patterns