アサーションを追加