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