194   Reducer reducer(kEnv);  in TEST()  local
196   reducer.SetMessageConsumer(kMessageConsumer);  in TEST()
197   reducer.SetInterestingnessFunction(  in TEST()
201   reducer.AddReductionPass(  in TEST()
203   reducer.AddReductionPass(  in TEST()
216   Reducer::ReductionResultStatus status = reducer.Run(  in TEST()
514   Reducer reducer(kEnv);  in TEST()  local
516   reducer.SetInterestingnessFunction(InterestingWhileIMulReachable);  in TEST()
517   reducer.AddDefaultReductionPasses();  in TEST()
518   reducer.SetMessageConsumer(kMessageConsumer);  in TEST()
531   Reducer::ReductionResultStatus status = reducer.Run(  in TEST()
538   Reducer reducer(kEnv);  in TEST()  local
540   reducer.SetInterestingnessFunction(InterestingWhileSDivReachable);  in TEST()
541   reducer.AddDefaultReductionPasses();  in TEST()
542   reducer.SetMessageConsumer(kMessageConsumer);  in TEST()
555   Reducer::ReductionResultStatus status = reducer.Run(  in TEST()
577   Reducer reducer(kEnv);  in TEST()  local
580   reducer.SetInterestingnessFunction(  in TEST()
584   reducer.AddDefaultReductionPasses();  in TEST()
585   reducer.SetMessageConsumer(kMessageConsumer);  in TEST()
605   Reducer::ReductionResultStatus status = reducer.Run(  in TEST()