allocation_bound_test_trace  892 test/correctness/rfactor.cpp     g.set_custom_trace(allocation_bound_test_trace);
allocation_bound_test_trace   56 test/correctness/set_custom_trace.cpp     f.set_custom_trace(allocation_bound_test_trace);