Runnable first link of invalid loop chack implemented + tests.