Por ejemplo, el siguiente código contiene dos aserciones: