Add minimum edges to equivalence graph
colour strong equivalence results
Merge pull request #280 from atlasapi/enhance-equiv-result

Enhance Equivalence Results