reducibility_isrc
shift_reducibility
subst_reducibility