New FSM generator for buttons pressed at the time