update null check annotations