core:
import java.util.*;
import edu.neu.ccs.demeterf.*;

import edu.neu.ccs.demeter.*;
add: class Main {
  protected String s;
  public String get_s() {{ return s; }}
  public void set_s(String new_s)
    {{ s = new_s; }}
  public constructor Main() {{ super(); }}
  public constructor Main(String s) {{
    super();
    set_s(s);
  }}
  public static Main parse(java.io.Reader in)
    throws ParseException
  {{ return new Parser(in)._Main(); }}
  public static Main parse(java.io.InputStream in)
    throws ParseException
  {{ return new Parser(in)._Main(); }}
  public static Main parse(String s) {{
    try { return parse(new java.io.StringReader(s)); }
    catch (ParseException e) {
      throw new RuntimeException(e.toString());
    }
  }}
{{
		 public static void main(String args[]) throws Exception {
			 Formula csp = Formula.parse(System.in);

			 System.out.println("The given input is:");
			 csp.print();

			 Traversal travNumLit = new Traversal(new LitCounter());
			 // the second argument to traverse is tricky
			 // it is needed becuase we pass down the weight from ConcreteClause to literals
			 System.out.println("The number of literals is:"
					 + travNumLit.traverse(csp));
					 // + travNumLit.traverse(csp, 0));

			 Traversal travWeight = new Traversal(new TotalWeightCounter());
			 System.out.println("The total weight of this formula is:"
					 + travWeight.traverse(csp));

			 System.out.println("================================================");

		 }
	 }}
{{  void universal_trv0_bef(UniversalVisitor _v_) {
    ((UniversalVisitor) _v_).before(this);
  }
}}
{{  void universal_trv0_aft(UniversalVisitor _v_) {
    ((UniversalVisitor) _v_).after(this);
  }
}}
{{  void universal_trv0(UniversalVisitor _v_) {
    universal_trv0_bef(_v_);
    ((UniversalVisitor) _v_).before_s(this, s);
    ((UniversalVisitor) _v_).after_s(this, s);
    universal_trv0_aft(_v_);
  }
}}
}