boolean isSubType(Tree tree, Type tp2) {
boolean isSubType(Type tp1, Type tp2) {
    boolean isSubType(Tree tree, Type tp2) {        global.nextPhase();        boolean test = tp1.isSubType(tp2);        global.prevPhase();        return test;    }