strip-nondeterminism 0.024 -> 0.025