Fix handling of shortcuts in db test runner
Finish implementation of set_cover()