finish: [final] build tree
finish: [final] value calculated
finish: [final] to DFA
fail: to finish the final mission