fixing the incorrect handling of reflexive backward links
fixed the wrong comparison of decomposed conjunctions
another fix for the inference equality checker
finishing up tracing