Visualizations + Equivalence

Fixed a stupid thing with equivalence. Added a visualization. Install
Jgraphx.