[Jackie] Doc update: implementation of FSM:walk