strip-nondeterminism 0.022 -> 0.023