public static void popLogicVariableBindings(Cons variables) {
    { int i = Stella.NULL_INTEGER;
      int iter000 = 1;
      int upperBound000 = variables.length();

      for (;iter000 <= upperBound000; iter000 = iter000 + 1) {
        i = iter000;
        i = i;
        Logic.popLogicVariableBinding();
      }
    }
  }