simple_rfactor_with_specialize_test  989 test/correctness/rfactor.cpp     if (simple_rfactor_with_specialize_test(true) != 0) {
simple_rfactor_with_specialize_test  993 test/correctness/rfactor.cpp     if (simple_rfactor_with_specialize_test(false) != 0) {