Play around with colored e-graphs?

[ninehusky]

This might not be something that necessarily has to happen for the deadline. I'm really interested in how the Easter Egg project might be used here.

It could be interesting to assign each condition a color, and have parent colors represent condition implication. This might make our current implementation of shrink_cond a little more "ironproof" -- instead of just checking that most_recently_added.condition => candidate.cond, we might be able to do some analysis based on what color (condition) the ruleset was able to merge l and r by.