* [SC] Relocated visualization code using GraphViz.
* [RDFS_PROOF_GIF,SC] Separate module for generating a proof tree in GIF.