// This file is automatically generated by DemeterJ.

UniversalVisitor {
  start {{ }}
  before { 
    Test, -> Test,inputoutput_list,InputOutput_List,
    InputOutput, -> InputOutput,input,CNF, -> InputOutput,assignment,Literal, -> InputOutput,output,CNF,
    CNF, -> CNF,clauses,Clause_List, -> CNF,sat,int, -> CNF,unsat,int,
    Clause, -> Clause,literals,Literal_List,
    Literal, -> Literal,variable,Variable,
    Pos,
    Neg,
    Variable, -> Variable,ident,Ident,
    Main, -> Main,s,String,
    InputOutput_List, -> InputOutput_List,first,Nonempty_InputOutput_List,
    Clause_List, -> Clause_List,first,Nonempty_Clause_List,
    Literal_List, -> Literal_List,first,Nonempty_Literal_List,
    Nonempty_InputOutput_List, -> Nonempty_InputOutput_List,it,InputOutput, -> Nonempty_InputOutput_List,next,Nonempty_InputOutput_List,
    Nonempty_Clause_List, -> Nonempty_Clause_List,it,Clause, -> Nonempty_Clause_List,next,Nonempty_Clause_List,
    Nonempty_Literal_List, -> Nonempty_Literal_List,it,Literal, -> Nonempty_Literal_List,next,Nonempty_Literal_List
  } {{ }}
  after { 
    Test, -> Test,inputoutput_list,InputOutput_List,
    InputOutput, -> InputOutput,input,CNF, -> InputOutput,assignment,Literal, -> InputOutput,output,CNF,
    CNF, -> CNF,clauses,Clause_List, -> CNF,sat,int, -> CNF,unsat,int,
    Clause, -> Clause,literals,Literal_List,
    Literal, -> Literal,variable,Variable,
    Pos,
    Neg,
    Variable, -> Variable,ident,Ident,
    Main, -> Main,s,String,
    InputOutput_List, -> InputOutput_List,first,Nonempty_InputOutput_List,
    Clause_List, -> Clause_List,first,Nonempty_Clause_List,
    Literal_List, -> Literal_List,first,Nonempty_Literal_List,
    Nonempty_InputOutput_List, -> Nonempty_InputOutput_List,it,InputOutput, -> Nonempty_InputOutput_List,next,Nonempty_InputOutput_List,
    Nonempty_Clause_List, -> Nonempty_Clause_List,it,Clause, -> Nonempty_Clause_List,next,Nonempty_Clause_List,
    Nonempty_Literal_List, -> Nonempty_Literal_List,it,Literal, -> Nonempty_Literal_List,next,Nonempty_Literal_List
  } {{ }}
  finish {{ }}
}