is_middle_ladder(): Factor out middle_ladder_walk()