sig type term_weighing_method = SymbolCount | Depth val term_weight : Weight.term_weighing_method -> Term.term -> int end