On a correspondence between the depth of deterministic and nondeterministic loop-free programs in the basis {х + у, х — у, 1; signx}