Fixed off-by-one-error described in PROBCORE-637. The index of the TraceElement did not correspond to the index of the specified transition in the opList within the Trace class.