public static void bindAllVariablesInGeneratorGoal(Proposition goal, List goalsequence) {
    { Stella_Object arg = null;
      Vector vector000 = goal.arguments;
      int index000 = 0;
      int length000 = vector000.length();

      for (;index000 < length000; index000 = index000 + 1) {
        arg = (vector000.theArray)[index000];
        if (Stella_Object.isaP(arg, Logic.SGT_LOGIC_PATTERN_VARIABLE) &&
            Logic.unboundVariableP(arg)) {
          PatternVariable.simulateBindVariableAndPropagateConstraints(((PatternVariable)(arg)), goalsequence);
        }
      }
    }
  }