package Ġde . acc so . dependency analyzer . test set . test package 4 Ċ Ċ data Ġclass ĠTop 1 ( val Ġref : ĠMiddle 1 ) Ċ data Ġclass ĠMiddle 1 ( val Ġref : ĠTarget Is A Se aled Clazz ) Ċ Ċ data Ġclass ĠTop 2 ( val Ġref 2 a : ĠMiddle 2 a , Ġval Ġref 2 b : ĠMiddle 2 b , Ġval Ġref 2 c : ĠMiddle 2 c ) Ċ data Ġclass ĠMiddle 2 a ( val Ġref : ĠTarget Is A Se aled Clazz . Target Is A Se aled Clazz 1 ) Ċ data Ġclass ĠMiddle 2 b ( val Ġref : ĠTarget Is A Se aled Clazz . Target Is A Se aled Clazz 2 ) Ċ data Ġclass ĠMiddle 2 c ( val Ġref : ĠTarget Is A Se aled Clazz . Target Is A Se aled Clazz 3 ) Ċ Ċ sealed Ġclass ĠTarget Is A Se aled Clazz ( val Ġs : ĠString , Ġval Ġx : ĠInt ) Ġ{ ĊĠĠĠ Ġdata Ġclass ĠTarget Is A Se aled Clazz 1 ( val Ġt : ĠString ) Ġ: ĠTarget Is A Se aled Clazz ( t , Ġ 8 _ 1 _ 5 ) ĊĠĠĠ Ġdata Ġclass ĠTarget Is A Se aled Clazz 2 ( val Ġu : ĠString ) Ġ: ĠTarget Is A Se aled Clazz ( u , Ġ 9 9 ) ĊĠĠĠ Ġobject ĠTarget Is A Se aled Clazz 3 Ġ: ĠTarget Is A Se aled Clazz (" bar ", Ġ 4 7 1 1 ) Ċ } ĊĊ