Symmetry reduction for testing k-block-positivity via extendibility | Synapse