nextDepth

fun ChoicePointContext?.nextDepth(): Int