Implemented redundant patterns. Failing redundant_paths unit test. New doctests.