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