single-rooted alias diagram

[varivera]

With the new implementation of the Alas Diagram, I am not so sure about having different roots in the alias diagram. Different roots would be embedded in the graph, rather than having them explicitly in the implementation.
If we do not need them, the implementation can be clean