Inheritence cycle detection.
Detection of unknown class inheritence.
Typing check methods signatures and multiple occurences of a same
method name within a class.