added missing states and transitions