Add Nondeterministic annotation where appropriate
Merge pull request #58 from matthayes/master

Add Nondeterministic annotation where appropriate