public static boolean indexIthDomainP(NamedDescription description, int i) {
    { boolean testValue000 = false;

      testValue000 = false;
      if (testValue000) {
        testValue000 = NamedDescription.functionDescriptionP(description);
        if (testValue000) {
          testValue000 = !NamedDescription.computedRelationP(description);
          if (testValue000) {
            testValue000 = i == 0;
            if (testValue000) {
              { boolean alwaysP000 = true;

                { Surrogate t = null;
                  Iterator iter000 = description.ioVariableTypes.butLast();

                  loop000 : while (iter000.nextP()) {
                    t = ((Surrogate)(iter000.value));
                    if (!Logic.logicalSubtypeOfLiteralP(t)) {
                      alwaysP000 = false;
                      break loop000;
                    }
                  }
                }
                testValue000 = alwaysP000;
              }
            }
          }
        }
      }
      { boolean value000 = testValue000;

        return (value000);
      }
    }
  }