add propagate_constraints in tcl.