Handling "provides clauses" and "requires clauses" in Lem output.