public static boolean auxiliaryEquivalencePropositionP(Proposition proposition) {
    { boolean testValue000 = false;

      testValue000 = proposition.kind == Logic.KWD_EQUIVALENT;
      if (testValue000) {
        { boolean foundP000 = false;

          { Stella_Object arg = null;
            Vector vector000 = proposition.arguments;
            int index000 = 0;
            int length000 = vector000.length();

            loop000 : for (;index000 < length000; index000 = index000 + 1) {
              arg = (vector000.theArray)[index000];
              if (Logic.variableP(arg) &&
                  (((Stella_Object)(Stella_Object.accessInContext(((PatternVariable)(arg)).variableValue, ((PatternVariable)(arg)).homeContext, false))) != null)) {
                foundP000 = true;
                break loop000;
              }
            }
          }
          testValue000 = foundP000;
        }
      }
      { boolean value000 = testValue000;

        return (value000);
      }
    }
  }