Reducing Nondeterminism in the Calculus of Structures