Depth-bounded Belief functions