let by_pointer_reference_usage_term e = 
  match stars_term e with 
    | None -> Any 
    | Some (x,ty,n) ->
        if (is_lformal x) then 
          (if (stars_lv_typ ty = n) then Ok (x,n) else Any
        else Any