This snippet does not stabilize after 10 iterations: ```ocaml type a = b and b = | A (* A *) | B (* B *) (* C ? *) | D (* D *) (* E *) ```