let is_pure i = both_sides (Term.is_pure i)