the number of outputs was wrong, as  the trig were not printed in this
case (when the init conf is legitimate)

This forced  me to put  everything into contracts,  without expanding
nodes, which required more fixes. Sigh.

(which was actualy already there for the diameter)

nb : it currently fails as the legitimate predicate is wrong.

(not yet finished: the legitimate predicate is not rigth)

with the dot output of --global-init-search