
=================================================================
Heisenbug #1

h1 -v0 -all eke.p, ou -v1, ou -v2 sont corrects, et incluent
en particulier les deux clauses:

testable_current(r_old(X1,X2)) :- knows_old(X1).
testable_current(r_old(X1,X2)) :- __type_1(X1).

Ces deux clauses sont absentes de ce qui est produit par:
h1 -all eke.p  

=================================================================
