Add spec for @AfterAll sequentiality