状態不変式の判定条件を追加