Enhance Equivalence Results

* colour strong equiv results
* miniumn edges of equivalence graph