component.tester.dl

   1 UNCOMPUTED_c(C,O,X) :- expect_c(C,O,X), not c(C,O,X).
   2 UNCOMPUTED_p(C,O,X) :- expect_p(C,O,X), not p(C,O,X).
   3 UNEXPECTED_c(C,O,X) :- c(C,O,X), not expect_c(C,O,X).
   4 UNEXPECTED_p(C,O,X) :- p(C,O,X), not expect_p(C,O,X).
   5 DUPLICATED_c(C,O,X,Y) :- c(C,O,X), c(C,O,Y), X < Y.
   6 DUPLICATED_p(C,O,X,Y) :- p(C,O,X), p(C,O,Y), X < Y.