- verification of convergence according to the SPY-method
- choice of state pair's separating sequences as in the H-method

advanced SPYH-method now called the S-method