TF237112: O estado padrão não pode ser inferido de transições. O estado padrão está definido por uma transição de um estado ...