sl/adt_op: implement simple heuristic for search direction
sl/symtrace: provide resolveIdMapping() traversing a trace graph
sl/cont_shape_seq: collect sequences of container shapes