Inclusão dos asserts