143         datalog::relation_fact fact1(m), fact2(m), fact3(m);  in test1()  local
144         fact1.push_back(bv.mk_numeral(rational(1), 12));  in test1()
145         fact1.push_back(bv.mk_numeral(rational(6), 6));  in test1()
146         fact1.push_back(bv.mk_numeral(rational(56), 12));  in test1()
255             t1->add_fact(fact1);  in test1()
273             t2->add_fact(fact1);  in test1()
547         datalog::relation_fact fact1(m);  in test_join_project3()  local
548         fact1.push_back(bv.mk_numeral(rational(3), 2));  in test_join_project3()
549         fact1.push_back(bv.mk_numeral(rational(1), 2));  in test_join_project3()
550         t1->add_fact(fact1);  in test_join_project3()
555         datalog::relation_fact fact1(m);  in test_join_project3()  local
556         fact1.push_back(bv.mk_numeral(rational(0), 2));  in test_join_project3()
557         fact1.push_back(bv.mk_numeral(rational(3), 2));  in test_join_project3()
558         t2->add_fact(fact1);  in test_join_project3()
559         fact1.reset();  in test_join_project3()
560         fact1.push_back(bv.mk_numeral(rational(1), 2));  in test_join_project3()
561         fact1.push_back(bv.mk_numeral(rational(3), 2));  in test_join_project3()
562         t2->add_fact(fact1);  in test_join_project3()
585         datalog::relation_fact fact1(m);  in test_rename()  local
586         fact1.push_back(bv.mk_numeral(rational(1), 12));  in test_rename()
587         fact1.push_back(bv.mk_numeral(rational(6), 6));  in test_rename()
588         fact1.push_back(bv.mk_numeral(rational(3), 2));  in test_rename()
590         t1->add_fact(fact1);  in test_rename()
600         fact1.reset();  in test_rename()
601         fact1.push_back(bv.mk_numeral(rational(3), 2));  in test_rename()
602         fact1.push_back(bv.mk_numeral(rational(6), 6));  in test_rename()
603         fact1.push_back(bv.mk_numeral(rational(1), 12));  in test_rename()
605         t1->add_fact(fact1);  in test_rename()
612         t1->add_fact(fact1);  in test_rename()