Redundant inheritance lines in inheritance-graph printer

[tinchoabbate]

Hey guys! I've been using Slither for some time now and found it quite useful, so thanks for all the effort you put into developing this tool.

While using the inheritance-graph printer, I found that the resulting graph contains several redundant inheritance lines that should be better left off the graph. For instance:

pragma solidity ^0.4.25;
contract Grandparent { }
contract Parent is Grandparent {}
contract Child is Parent {}

Slither's printer output is:

Note that there's a line that goes from Child to Grandparent which is redundant, as Child is already Parent and Parent is already Grandparent. While this example is pretty simple, in far more complex inheritance chains these extra lines add little to no value and the graph ends up being too cluttered with lines pointing everywhere.

I'm not sure if this is a feature you added on purpose or a bug. If the former, are you considering adding an extra flag to the printer so those extra lines are not included in the final inheritance graph?.

[montyly]

Thank you @tinchoabbate for pointing out this limitation!

We can, indeed, print the inheritance without these additional lines. We can either replace the original printer or create a second one.

I don't have a strong opinion, I will discuss it internally and see what makes the more sense.