Add sanity checking to fsm