Still a bug to fix
Revert "New branch for seq/pr/th", so that I recover example.ml

This reverts commit 575b240baebe66acf0b83b1f1fa60881cae8e1d9.