Editing: CoveredCodeNotExecutedException.php