begin to seriously resolve the generation block issue. Adding a separete unfold() before uniquify() and elaborate().