Implemented aux vars in unfounded set.