sl/adt_op_match: get relocObjsInMetaOps() ready for MO_FREE
sl/contplot.sh: plot graphs of container recognition
sl/symstate: treat isomorphism as entailment
sl/symstate: allow to rewrite trace on update

FIXME: still creates cycles in the trace graph!!!