Efficient Minimization of Fully Testable 2-SPP Networks