// This file is automatically generated by DemeterJ.

UniversalVisitor {
  start {{ }}
  before { 
    Main, -> Main,s,String,
    Assignment, -> Assignment,literal_list,Literal_List,
    Literal, -> Literal,variable,Variable,
    Pos,
    Neg,
    Variable, -> Variable,ident,Ident,
    History, -> History,start,State, -> History,tnstate_list,TNState_List,
    State, -> State,m,Assignment, -> State,f,Instance, -> State,n,Assignment,
    TNState, -> TNState,transitionrulename,TransitionRuleName,
    TransitionRuleName, -> TransitionRuleName,ident,Ident,
    Instance,
    Literal_List, -> Literal_List,first,Nonempty_Literal_List,
    TNState_List, -> TNState_List,first,Nonempty_TNState_List,
    Nonempty_Literal_List, -> Nonempty_Literal_List,it,Literal, -> Nonempty_Literal_List,next,Nonempty_Literal_List,
    Nonempty_TNState_List, -> Nonempty_TNState_List,it,TNState, -> Nonempty_TNState_List,next,Nonempty_TNState_List
  } {{ }}
  after { 
    Main, -> Main,s,String,
    Assignment, -> Assignment,literal_list,Literal_List,
    Literal, -> Literal,variable,Variable,
    Pos,
    Neg,
    Variable, -> Variable,ident,Ident,
    History, -> History,start,State, -> History,tnstate_list,TNState_List,
    State, -> State,m,Assignment, -> State,f,Instance, -> State,n,Assignment,
    TNState, -> TNState,transitionrulename,TransitionRuleName,
    TransitionRuleName, -> TransitionRuleName,ident,Ident,
    Instance,
    Literal_List, -> Literal_List,first,Nonempty_Literal_List,
    TNState_List, -> TNState_List,first,Nonempty_TNState_List,
    Nonempty_Literal_List, -> Nonempty_Literal_List,it,Literal, -> Nonempty_Literal_List,next,Nonempty_Literal_List,
    Nonempty_TNState_List, -> Nonempty_TNState_List,it,TNState, -> Nonempty_TNState_List,next,Nonempty_TNState_List
  } {{ }}
  finish {{ }}
}