到達すると常に true (または常に false) となる変数を報告します。