Test conditional derivability somehow.

[ninehusky]

Inside ite.rs, we need a test that tests the following shape of rules: if a then x ~> y, if b then y ~> z. Then, we put some x such that a(x) and b(y), and then assert that we get z in the e-graph.