Improving termination checker, but it sometimes get stuck, why?
Improving termination checker, but it sometimes get stuck, why?

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless