rule refactoring