Turning off FSM debug traces.