/**
 * This class counts the number of variables appearing in the given formula.
 *
 */
LitCounter {
{{
	// Float combine(Variable v){ return 1.0f; }
	Float combine(Literal v, Float f){ return 1.0f; }
}}
}