Implementation of a linked list in Solidity

Implementation of a (buggy) linked list in solidity with Kontrol tests to prove correctness properties about the implementation