++Warning[XSB]: [Compiler] **Unknown** : Spurious index declaration: 13 will never be used, because of earlier: 3
to
++Warning[XSB]: [Compiler] ./test_index : In the table ... as ... index declaration index([2, 3, 1 + 3]) for p1/3, the index 1 + 3 will never be used \
because of the earlier index 3