Tracer builder (trace assembling automata) implemented.