See `ob_optimizer.h' for the interface of this module.