k-order DLL: fix bug introduced in 1f7d3bed

For the IntSequence class, the initialization with {} and () are no longer
equivalent.
parent 002e3d37
Pipeline #800 passed with stages
in 68 minutes and 31 seconds