それ系のチェックはSILでコントロールフロー作ってからやってるので、通常のアサイメントに流すか、ストレージにダイレクトに格納するかをSIL以降に決定する必要がある。