Editing: BranchAndPathCoverageNotSupportedException.php