Method simplify

smt/expr.cpp:2218–2223

}

expr expr::simplify() const {
  C();
  auto e = Z3_simplify(ctx(), ast());
  // Z3_simplify returns null on timeout
  return e ? e : *this;
}

expr expr::simplifyNoTimeout() const {
  C();