strip-nondeterminism 0.028 -> 0.029