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