Up Down Counter using FSM

no such method: docs