tests/forester: skiplist-3lvl.c [FORMATING]
tests/forester: skiplist-3lvl - change to adhere to the new interface
tests/forester: change to SV-COMP interface