データフローテストにおける「All-definitions」基準が求めるものはどれか。

各変数の定義箇所が、少なくとも1つの利用箇所(Use)に到達することを保証する。