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