[diff.stat] is the Annex C section for [stmt]; the naming should be harmonized. Can be included under #7399
[diff.stat] is the Annex C section for [stmt]; the naming should be harmonized.
Can be included under #7399