Added formal tests for searching possible infinite sequences
Much improved and hopefully final version of calculation model