Dependencies for nondeterminism-1.5

library