cleanups
Hunting for nondeterministic reduction results...