internal AAST(Automaton.TaskState t) { task = t; startStates.Add(StartState.initState.Name, StartState.initState); startStates.Add(StartState.allState.Name, StartState.allState); }