> Re-apply r187609 with fix to pass ocaml binding. vmcore.ml generates a debug > location with scope being metadata !{}, in verifier we treat this as a null > scope. > Why not just fix the ocaml binding? -eric