/**
 * This class counts the number of variables appearing in the given formula.
 *
 */
LitCounter {
{{
	// addition for weighted counting
	Float combine(Weight w) {return new Float(w.get_v());}
	Float combine(ConcreteClause c, Float w, Float lit_count) {
	  return lit_count*w; }
}}
}