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)