Dependencies for nondeterminism-1.2

library