Precondition: The date of death has been set, and changing the year part of the date of death will give a consistent date of death. Postcondition: The year of death is (changed to) newYear.
(int newYear)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected