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