Nondeterminism in Constructive Z