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