Fixed the null check rules for field access instructions
merged with upstream branch
merge with upstream