public void Transformations_AbstractTrace_PublishEntry_ReInsertEntry() { trace.RevokeEntry(c_a); trace.PublishEntry(c_a); trace.TraceIn(ruleT1, "a").AssertContainsOnly(c_a); }