strip-nondeterminism 0.019 -> 0.022