type_name filled for Lua automata
Fixed automaton bug: t-junction after "case"