Statistics: sg: 2 nodes, 1 edge, 1 class, 0 constraints cg slice: 3 nodes, 2 edges Strategy graph: { EqualVisitor -> * } source:EqualVisitor source-edge:0 target:* Class graph slice: EqualVisitor = boolean init {{ true }} extends UniversalVisitor. UniversalVisitor : .