gf_guarantee always on
This is incorrect:
void translator::setup_opt(const option_map* opt)
{
[...]
gf_guarantee_ = level_ != Low;
because level_
is set after setup_opt
is called. As a result gf_guarantee_
is always on, unless explicitly disabled.