Fix Mantis PR#7767: interaction between labels and let rec check
Fix Mantis PR#7767: interaction between labels and let rec check

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml