add an argument to `detect_redundancy` to return the same rules as `simplify_redundancy`.
add an argument to
detect_redundancyto return the same rules assimplify_redundancy.