code: protected void insertVarOrder(int x) {
      if (!this.orderHeap.inHeap(x) && this.vars.get(x).decision())
        this.orderHeap.insert(x);
    }
docs: Inserts a variable (given by its index) into the heap of decision variables.
  @param x the variable index