fixes for warning about unclosed files at the end
-> keep sets of unclosed files as special value in domain