method private add_cycle s = cycle <- Kernel_function.Hptset.union s cycle