let is_var p = 
    Term.is_var (term_of p)