I guess this is the check that fails, given the comment at the top of the function. Can you elaborate a bit on why the check fails? Can we get around it by giving the planner more time?