strip-nondeterminism 0.019 -> 0.020 strip-nondeterminism 0.019 -> 0.021 strip-nondeterminism 0.019 -> 0.022