let treat_term trm fa_terms ret_opt =
  let visitor = replacement_visitor fa_terms ret_opt in
    visitCilTerm (visitor :> cilVisitor) trm