Dependencies for nondeterminism-1.4

library