Fix nondet bug.
Bump version to 0.2.2