Analysis class for useless equality checks.

This class checks and adds warnings whenever two different types are compared
using ==.