Proof_Terms_Term_Rewriting.Labels_and_Overlaps