let label_at_closure = function
    | Fclos(_,label) -> label
    | Mclos mc -> M.label_at_closure mc