Editing: IntroduceCoverageElement.php