Fix infinte unrolling bug
Fix infinte unrolling bug

gerdstolpmann/ocaml,msprotz/ocaml,yunxing/ocaml,msprotz/ocaml,msprotz/ocaml,msprotz/ocaml,yunxing/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,yunxing/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,yunxing/ocaml,yunxing/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,eliberis/ocaml