strip-nondeterminism 0.018 -> 0.019