let lval_has_addrof_or_global lv = let br = ref false in let vis = new addrOfOrGlobalFinderClass br in ignore(visitCilLval vis lv); !br