* spot/twaalgos/postproc.cc: Call remove_alternation(). * tests/core/alternating.test: Additional test.