let treat_pred pred fa_terms (ret_opt : term_lval option) = let visitor = replacement_visitor fa_terms ret_opt in visitCilPredicate (visitor :> cilVisitor) pred