Usage: Select a file using one of the above pull-down menus, and check a radio button to select a checking property (CR, CR(CBV) or SN) for your choice. [SUBMIT] button for checking. You can also submit custom rewrite rules. Firstly [CLEAR], then fill the form with your rules written in one of the formats (SOL,or TRS). Finally, check a radio button for checking property, and push [SUBMIT].