let terms_of_list = List.fold_left (fun acc a -> Term.Set.add a acc) Term.Set.empty