strip-nondeterminism 0.029 -> 0.030