The specification algorithm made way much faster and more robust fro no_rank cases. Second testing phase passed.