if(thisType == null || thisType.getSuperclass() == null)
// static method or no superclass
return null;
// TODO find super-type binding based on qualifier and accessed element
SuperVariable result = superVar.get(qualifier);
if(result == null) {
result = new SuperVariable(this, qualifier);
superVar.put(qualifier, result);
}
return result;
}