sootUntil.java to compute subclasses of given type.