Symbol symbol = tree.symbol().overridingSymbol(supertype);
Symbol symbol = tree.symbol().overriddenSymbol(supertype); assert !symbol.isNone(): Debug.show(tree, clasz, supertype);
        public Symbol getSymbolFor(Tree tree) {            switch (tree) {            case Select(Super(_, _), _):                if (tree.symbol().isInitializer()) return tree.symbol(); // !!!                assert supertype.symbol().isSubClass(tree.symbol().owner()):                    tree + " -- " + Debug.show(clasz);                global.nextPhase();                Symbol symbol = tree.symbol().overridingSymbol(supertype);                global.prevPhase();                assert !symbol.isNone(): tree + " -- " + Debug.show(clasz);                return symbol;            case Super(_, _):            case This(_):                return clasz;            default:                return super.getSymbolFor(tree);            }        }