The reduction process is currently hiding under `check=True` - it should have a separate arg. And the start and end should be logged, with some stats on how many rules were simplified.
The reduction process is currently hiding under
check=True- it should have a separate arg.And the start and end should be logged, with some stats on how many rules were simplified.