bug in driverfile, made Statemachine.go