Tokening, RenderCache, and Selectivity Make Software Claims Easier to Inspect