fix a bug in support sets for unfounded set checking