Constant MAX_DEPTH_FOR_OBLIGATIONS_VISITORS 

const MAX_DEPTH_FOR_OBLIGATIONS_VISITORS: usize = 5;

Using an intentionally low depth to minimize the chance of future breaking changes in case we adapt the approach later on. This also avoids any hangs for exponentially growing proof trees.