包含制約を検査する exclude の例を追加