We'll see. But I think it is more of an AI behavior than a bug though. But will see.I assume they first did dig downwards otherwise they would have been stuck at middle of the ladder height. So they principally are able to dig down but some bug must have stopped them. If you know of a way to replicate it with high probability, write it down and make a bug report.