single_toggle_trace   90 test/correctness/skip_stages_memoize.cpp     f2.set_custom_trace(&single_toggle_trace);
single_toggle_trace  119 test/correctness/skip_stages_memoize.cpp     f2.set_custom_trace(&single_toggle_trace);