Refactor: paso logica del AssertManager a Assertion