fn dedup_dtorck_constraint(c: &mut DtorckConstraint<'_>)