Improve congruence closure algorithm chapter