With the [current code](https://github.com/Learning-and-Intelligent-Systems/predicators/blob/f3b9bf125fe8c1d861c678010626d3b6570c47d4/predicators/planning.py#L1163) in `_sesame_plan_with_fast_downward`, bilevel planning will halt with an exception if the first task plan found is not refinable. An easy fix would it make it to raise an `_DiscoveredFailureException` but wasn't sure it's the best choice.