Minor update

Check where belief consists only of terminal states *before* potentially
passing it to the model for lower bound computation.