Added allred extensions.
Implemented early cycle detection.