Why Developers Never Use State Machines