Agregado condiciones de finalizacion en postcondiciones