Add state changes to about_gen_fsms