substitute_diminished_for_diminished to progressions.js