A few fixes to how arguments read on screen:

• The premise count in an argument's header now matches the premises you actually see.
• The review wizard's "Referenced in" line only lists real premises now — no more cryptic ID labels.
• Claim details now correctly shows where a claim is used, and the claim's symbol matches the one shown in the formulae panel.