Problem
Use the Domain attributes and State Filter attributes in a feature that makes the revision control system a finite model program. Which state variables must be mentioned in your state filter expressions? Which action parameters must be given finite domains?