public static void updateSkolemTypeFromIsaAssertions(Proposition self) {
    { Keyword testValue000 = self.kind;

      if (testValue000 == Logic.KWD_ISA) {
        { Stella_Object renamed_Object = (self.arguments.theArray)[0];

          if (Stella_Object.isaP(renamed_Object, Logic.SGT_LOGIC_SKOLEM)) {
            Skolem.updateSkolemType(((Skolem)(renamed_Object)), ((Surrogate)(self.operator)));
          }
        }
      }
      else if (testValue000 == Logic.KWD_AND) {
        { Stella_Object arg = null;
          Vector vector000 = self.arguments;
          int index000 = 0;
          int length000 = vector000.length();

          for (;index000 < length000; index000 = index000 + 1) {
            arg = (vector000.theArray)[index000];
            Proposition.updateSkolemTypeFromIsaAssertions(((Proposition)(arg)));
          }
        }
      }
      else {
      }
    }
  }