Make CDT CD after removing a constraint