update description of constraint deduction method