Fields:
  edit_text = ['', 'ulf']
  game_len = [0, 3]
  solved = [False, True]
Conditions:
  solved == (game_len == 0)
Limits:
Initial-State: edit_text='', game_len=0, solved=True
Transition: button_edit_clear_click Qt.LeftButton
  State: 
         edit_text='', game_len=0, solved=True
Transition: button_edit_exec_click Qt.LeftButton
  State: edit_text='', game_len=0, solved=True
  State: edit_text='', game_len=3, solved=False
                       game_len=0, solved=True
  State: edit_text='ulf', game_len=0, solved=True
                          game_len=3, solved=False
  State: edit_text='ulf', game_len=3, solved=False
Transition: edit_moves_text '', False
  State: 
         edit_text=''
Transition: edit_moves_text 'ulf', False
  State: 
         edit_text='ulf'
