Remove duplicated code.
Refactoring: remove tuple from FindRecoveredSubrule signature.