sl/symstate: allow to rewrite trace on update

This commit breaks the acyclic property of the trace graph!
sl/symstate: recover ID mapping of unused join result
sl/contplot.sh: plot graphs of container recognition