Interaction and Depth against Nondeterminism in Proof Search