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