 
}
  
  node1 [label="21 classes/traits", id="graph1_1", class="default", tooltip="AnonVar, FF, FreeAppln, FreeEquality, FreeIncl1, FreeIncl2, FreeLambda, FreePair, FreePi, FreeProj1, FreeProj2, FreeSigma, MetaVar, Numeral, Or, OrCases, QED, Special, TT, TypVariable, Variable"] ;
  node2 [label="AnyRef", id="graph1_2", class="default", tooltip="scala.AnyRef"] ;
  node2 -> node0 [arrowtail="empty", dir="back", id="graph1_2_0", class="inheritance", tooltip="FreeExpr is a subtype of AnyRef"] ;
  node0 -> node