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