Checking Force Majeure Clauses