An Illustrative Review of Techniques for Detecting Inequivalences