ground.induction.ExstInducStrucs.SimpleBase"] ;
  node8 [label="AnyRef", id="graph1_8", class="default", tooltip="scala.AnyRef"] ;
  node8 -> node0 [arrowtail="empty", dir="back", id="graph1_8_0", class="inheritance", tooltip="ExstInducStrucs is a subtype of AnyRef"] ;
  node0 -> node1 [arrowtail="empty", dir="back", id="graph1_0_1", class="inheritance", tooltip="ExstInducStrucs.Base is a subtype of ExstInducStrucs"] ;
  node0 -> node2 [arrowtail="empty", dir="back", id="graph1_0_2", class="inheritance", to