sl/symstate: allow to rewrite trace on update

This commit breaks the acyclic property of the trace graph!
sl/contplot.sh: plot graphs of container recognition