Added non-deterministic support to BranchNode.