let is_ref case vinfo =
match case with
| Nothing -> false
| Half -> false
| All ->
compute();
let cv = Cv vinfo in
if vinfo.vformal then
(try fst (ByPReference.find cv) = 0 with Not_found -> false)
else
(try fst (ArgPReference.find cv) = 0 with Not_found -> false)