Logic Minimization and Testability of 2-SPP Networks