sl/adt_op_match: implement collectReplacedInsn()
sl/adt_op_match: implement selectApplicableMatches()
sl/fixed_point_proxy: print brief [ADT] summary on success
sl/symstate: fix infinite loop in packState()

... if SE_FORBID_HEAP_REPLACE is enabled
sl/symstate: avoid a SIGSEGV on empty trace updates
sl/symjoin: do not create join trace nodes for identical heaps

They would create nodes with duplicated children in the trace graph.
sl/symtrace: check for duplicated children in debug build