removes Term.Cases