Statistics: sg: 2 nodes, 1 edge, 1 class, 0 constraints cg slice: 6 nodes, 9 edges Strategy graph: { BSTInt -> * } source:BSTInt source-edge:0 target:* Class graph slice: BSTInt : EmptyInt | NodeInt . N2 = BSTInt . N1 = BSTInt . EmptyInt = extends BSTInt. NodeInt = int N1 N2 extends BSTInt.