let lval_has_mem_read lv = let br = ref false in let vis = new memReadOrAddrOfFinderClass br in ignore(visitCilLval vis lv); !br