制約外判断の例を追加