Exploiting symmetries for testing equivalence verification in the SPI calculus