strip-nondeterminism 0.017 -> 0.018