public static Keyword boundVariablesSpecialist(ControlFrame frame, Keyword lastmove) {
    { boolean alwaysP000 = true;

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

        loop000 : for (;index000 < length000; index000 = index000 + 1) {
          arg = (vector000.theArray)[index000];
          if (!(Logic.argumentBoundTo(arg) != null)) {
            alwaysP000 = false;
            break loop000;
          }
        }
      }
      { boolean allboundP = alwaysP000;

        lastmove = lastmove;
        return (Logic.selectTestResult(allboundP, true, frame));
      }
    }
  }