added files to set-checker