Statistics: sg: 2 nodes, 1 edge, 1 class, 0 constraints cg slice: 4 nodes, 7 edges Strategy graph: { BSTInt -> * } source:BSTInt source-edge:0 target:* Class graph slice: BSTInt : NodeInt | EmptyInt . EmptyInt = extends BSTInt. NodeInt = Integer BSTInt BSTInt extends BSTInt.