update for new nondeterminism library