Started working on tree data structure that will form an intermediary between the trace semantics and the algorithm for constructing a context.