ENHANCED: xref: do not verify sandbox rules while cross-referencing.
ENHANCED: xref: do not verify sandbox rules while cross-referencing.

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel