let is_pure i p =
    Term.is_pure i (term_of p)