added jump to state machine sensitivity list

k