pop method

void pop()

Implementation

void pop() {
  _c._z3.optimize_pop(_optimize);
}