finish all the codes for 'Propagation Constraints' in section 3.3.5