Add a postcheck section to verify unintended file creation. Remove needless <file> checks in verify section. Renumbering where appropriate.
Yang Tse