Uses of Interface
at.jku.ssw.fp.sect11_3.check4j.Shrinker