I was looking through the Z3 API and noticed that while there's Z3_solver_translate (and accompanying C++ methods) there is no Z3_optimize_translate (or internal translation methods).

Is this omission intentional? Would it be possible to add context translation to Optimize?

edit: the omission does seem to be intentional per: