Añadidos comprobación de precondiciones.