Class AbstractTrace<Transition extends AbstractTransition>