Incompleteness of the termination checker that seems solvable

[craff]

Here, we put all use case that seems to be solvable (or that even work in subml):
This issue should probably never be closed.

• test/fifo.pml: with a pair of lists as argument
• test/unfold.pml