degen: always compose original-states with the input

* spot/twaalgos/degen.cc (degeneralize, partial_degeneralize): Here.
* spot/twaalgos/degen.hh: Mention it.
14 jobs for next in 241 minutes and 45 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #81526
alpine-gcc

01:24:31

passed #81527
arch-clang

01:21:00

passed #81528
arch-gcc-glibcxxdebug

01:24:28

passed #81525
debian-gcc-snapshot

01:54:19

passed #81523
debian-stable-gcc

01:21:14

passed #81524
debian-unstable-gcc-coverage

00:59:26

90.5%
passed #81531
debpkg-stable

03:18:08

passed #81532
debpkg-unstable

03:20:55

passed #81529
mingw-shared

00:16:39

passed #81530
mingw-static

00:12:09

passed #81534
armv7
raspbian

02:22:13

passed #81533
rpm-pkg

01:10:43

 
  Publish
passed #81535
dput
publish-rpm

00:00:46

passed #81536
dput
publish-unstable

00:01:37