fix add_constraints_thm