more tests, found new bug in nondet reduction...