 -> node0 [arrowtail="empty", dir="back", id="graph1_2_0", class="inheritance", tooltip="IndConsSeqExst[SS, H, F, Index, Intros] is a subtype of Product"] ;node3 -> node0 [arrowtail="empty", dir="back", id="graph1_3_0", class="inheritance", tooltip="IndConsSeqExst[SS, H, F, Index, Intros] is a subtype of Serializable"] ;
}
</script><script>$("#inheritance-diagram").bind('beforeShow', function() {
  if ($("svg#graph1").children().length == 0) {
    var dot = document.querySelector("#dot1").text;
    var svg 