add the datastructure tests to the impl used on paper