before C1: W run/attempt/root cancellation events = 1/1/1 before C1: fixture and final result invariants verified before C2: fixture and final result invariants verified before C3: W run/attempt/root cancellation events = 1/1/1 before C3: fixture and final result invariants verified before S1: W run/attempt/root cancellation events = 1/1/1 before S1: fixture and final result invariants verified after C1: W run/attempt/root cancellation events = 1/1/1 after C1: fixture and final result invariants verified after C2: fixture and final result invariants verified after C3: W run/attempt/root cancellation events = 1/1/1 after C3: fixture and final result invariants verified after S1: W run/attempt/root cancellation events = 1/1/1 after S1: fixture and final result invariants verified