朱迪小时候曾被一只松鼠咬伤。这导致了她对松鼠的极度恐惧（发抖、出汗、躲避松鼠等）。一位行为分析师开始帮助朱迪减少对松鼠的恐惧。她带朱迪去公园，她经常在那看到松鼠，但从没被咬过。最终，朱迪不再害怕松鼠了。行为分析员对朱迪使用了什么程序？（）

A.反应型制约
B.操作消减
C.操作制约
D.反应型消减