If all branches in the `if` tree below are covered, you don't need this.