8/74

Checks for Directed Acyclic Graph in inheritance graph
- in reality, the only correct shape is a tree starting from Object
Checks for inheritance from illegal primitives
Checks for overriding primitive classes