strip-nondeterminism 0.016 -> 0.017