spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.