rdom_with_predicate_rfactor_test  999 test/correctness/rfactor.cpp     if (rdom_with_predicate_rfactor_test(true) != 0) {
rdom_with_predicate_rfactor_test 1003 test/correctness/rfactor.cpp     if (rdom_with_predicate_rfactor_test(false) != 0) {