let is_var nn = 
    Term.is_var (term_of nn)