Thanks @jpfeifer !
DynareOBC is guaranteed to find a solution if there is one. It can work with higher order solutions to the model, and it can approximate the effects of the risk of hitting the bound.
However, DynareOBC should not yet be used for estimation.
Also see this old thread: Conceptual questions on simul, stoch_simul and extended_path with OBC