Refactor de clase AssertionManager