public static void popLogicVariableBinding() {
    { Cons headcons = ((Cons)(Logic.$LOGICVARIABLETABLE$.get()));

      Native.setSpecial(Logic.$LOGICVARIABLETABLE$, headcons.rest);
      headcons.free();
    }
  }