Why3session output is broken in presence of detached nodes
It seems that the files produced by why3session in HTML or LaTex are wrong in presence of detached nodes, or maybe obsolete ones.
Even the global result, ``Theory ... fully verified'', is wrong
Need to be reviewed closely and fixed