checkfuncs.py:write ids for reextract into txt, fix a bug in IsCoverFailed checking; expand.py: write ids after reextraction