add a notion of label in MLCFG
MLCFG should provide a notion of label without a scope, e.g.
let cfg f (...) =
var x : int;
{
label L;
goto B
B {
assert { x = (x at L) };
}
The translation by computation of dominators should support that, but not the general one with mutually recursive functions. Hence such labels would not be supported when the code is not well-structured enough.