FIXED: Determinism in xref_public_list/3.