Contrato de seguro, tempestade kirk, infiltrações, condição anterior do edifício, causalidade adequada, formulação negativa