Pastable version of Combinatorial explosion with continuations