Hi, The following piece of code does not stabilize with the default profile on 0.12 and master: ```ocaml let y = f (* a *) (* b *) x ``` It cycles with: ```ocaml let y = f (* a *) (* b *) x ``` Thanks!