REFACTORING: Removed unused test helper functions.
REFACTORING: Simplified rewrite rules.
REFACTORING: More human-readable and robust test for corpus deletion (#15).