connect.tester.dl

   1 UNCOMPUTED_c(O,X) :- expect_out_c(O,X), not out_c(O,X).
   2 UNCOMPUTED_p(O,X) :- expect_out_p(O,X), not out_p(O,X).
   3 UNEXPECTED_c(O,X) :- out_c(O,X), not expect_out_c(O,X).
   4 UNEXPECTED_p(O,X) :- out_p(O,X), not expect_out_p(O,X).
   5 DUPLICATED_c(O,X,Y) :- out_c(O,X), out_c(O,Y), X < Y.
   6 DUPLICATED_p(O,X,Y) :- out_p(O,X), out_p(O,Y), X < Y.