let lval_has_lval lv (host,hostoff) = let br = ref false in let vis = new lvalFinderClass lv br in (match host with | Mem e -> ignore(visitCilExpr vis e) | _ -> ()); ignore(visitCilOffset vis hostoff); !br