36   Poly_Con_Relation rel = box.relation_with(A + B %= 3);  in test01()  local
60   Poly_Con_Relation rel = box.relation_with((A + B %= 2) / 0);  in test02()  local
84   Poly_Con_Relation rel = box.relation_with((A + B %= -7) / 0);  in test03()  local
108   Poly_Con_Relation rel = box.relation_with((A + B %= 6) / 0);  in test04()  local
132   Poly_Con_Relation rel = box.relation_with((A + B %= 0) / 6);  in test05()  local
149   Poly_Con_Relation rel = box.relation_with((Linear_Expression(1) %= 0) / 2);  in test06()  local
168   Poly_Con_Relation rel = box.relation_with(A - 2*B %= 1);  in test07()  local
194   Poly_Con_Relation rel = box.relation_with(2*B - 3*A  %= 1);  in test08()  local
211   Poly_Con_Relation rel = box.relation_with(c);  in test09()  local
233   Poly_Con_Relation rel = box.relation_with((A + B %= 0) / 2);  in test10()  local
256   Poly_Con_Relation rel = box.relation_with((A + B %= 0) / 5);  in test11()  local
278   Poly_Con_Relation rel = box.relation_with((A + B %= 2) / 5);  in test12()  local
299   Poly_Con_Relation rel = box.relation_with((A + B %= 1) / 5);  in test13()  local
322   Poly_Con_Relation rel = box.relation_with((A - 2*B %= -9) / 8);  in test14()  local
344   Poly_Con_Relation rel = box.relation_with((A + B %= 4) / 5);  in test15()  local
366   Poly_Con_Relation rel = box.relation_with((A + B %= 24) / 5);  in test16()  local
389   Poly_Con_Relation rel = box.relation_with((A + B %= 1) / 9);  in test17()  local
413   Poly_Con_Relation rel = box.relation_with((A + B %= 0) / 10);  in test18()  local
434    Poly_Con_Relation rel = box.relation_with((A + B %= 1) / 9);  in test19()  local
450   Poly_Con_Relation rel = box.relation_with((Linear_Expression(0) %= 1) / 0);  in test20()  local