Symbol: solver_is_enhancing