strip-nondeterminism 0.023 -> 0.024