制約検査