A layer L is a set of dynamic instructions that satisfies the following two properties: (i) two instructions in L never overlap, and (ii) the set L is connected.
pin Tracer runs one instruction and, at each step, gathers the corresponding dynamic instruction.