let by_pointer_reference_usage e = 
  match stars_exp e with 
    | None -> Any 
    | Some (x,ty,n) -> 
        if x.vformal then 
          (if (stars_typ ty = n) then Ok (x,n) else Any
        else Any