Experimenting with first-parent SI for graph.
Efficient multiple inheritance.

The result of each unique linearized hierarchy is computed only once.