precisely !
"compare applied to cyclic structures may not terminate"
мне особенно нравится это may (кстати, надо попробовать :)
но это как раз лежит на поверхности, а вот с множествами у меня не лежало :)
p.s. это я LR(1)-парсер к интегрированной среде достряпываю, а к нему написалась заодно обширная библиотека модулей общего назначения :)