伝播規則(propagation rule)は、論理的には冗長だが単純化に結び付くような制約を新しく追加する。