turn on auto-reduce but make sure it doesn't get tried for wrong-code
bugs yet