Added Digraph module that will be used to verify class hierarchy.