Bug report. Problems with initialising sets to the empty set.