docs: public boolean isSubtype(ObjectType type, ObjectType possibleSupertype) throws ClassNotFoundException {
          if (DEBUG_QUERIES) {
              System.out.println("isSubtype: check " + type + " subtype of " + possibleSupertype);
          }
  
          if (type.equals(possibleSupertype)) {
              if (DEBUG_QUERIES) {
                  System.out.println("  ==> yes, types are same");
              }
              return true;
          }
          ClassDescriptor typeClassDescriptor = DescriptorFactory.getClassDescriptor(type);
          ClassDescriptor possibleSuperclassClassDescriptor = DescriptorFactory.getClassDescriptor(possibleSupertype);
  
          return isSubtype(typeClassDescriptor, possibleSuperclassClassDescriptor);
      }