let exp_is_ok_replacement e =
  if !debug then Kernel.debug "exp_is_ok_replacement: in exp_is_ok_replacement with %a\n"
    d_exp e;
  exp_ok := true;
  ignore(visitCilExpr memReadOrAddrOfFinder e);
  !exp_ok