The native codegen fails to terminate on the following program. fun a x = (b x; c x) and b x = (a x; c x; d x) and c x = d x and d x = e x and e x = d x val _ = a 13