mutable cycle = Kernel_function.Hptset.empty