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