フロー解析レベルでのnull許容性チェックが行われる。