refactoring
retractAssumptionsBreakingDClosures()