Feature request: Add a test utility to ensure that none of rules are inferred from the rest of rules

[hatoo]

Hi, I've started diving into egg recently and think it's good to test that none of the rules are inferred from the rest.
I don't know that this kind of test is common but I think it's definitely a good to ensure there are no redundant rules.

Since some test utilities like EGraph::check_goals already exist, I think adding more test utilities is reasonable.

here is my example code
I don't know the proper way of getting expr from rewrite though.

[mwillsey]

Hi there, that's an interesting idea. We did something similar in our paper on rule inference. However, it's a difficult problem and something that I think will be out of scope for the egg library itself.

[hatoo]

Thanks, the paper is very interesting 👍