so null checks that occur at the start of a method...
# announcements
m
so null checks that occur at the start of a method may not be eliminated