public static boolean allVariablesUnboundP(Proposition prop) {
    { boolean foundP000 = false;

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

        loop000 : for (;index000 < length000; index000 = index000 + 1) {
          var = (vector000.theArray)[index000];
          if (Logic.argumentBoundTo(var) != null) {
            foundP000 = true;
            break loop000;
          }
        }
      }
      if (foundP000) {
        return (false);
      }
      else {
        return (true);
      }
    }
  }