Two-coloured flow graphs
Not all graphs with the same unfolding should be considered equal:
let
r
:ref =
ref
(
1+1
);
let
y
:int =
1
;
return
(
r
,
r
);
let
r
:ref =
ref
(
y
+
y
);
return
(
r
,
r
);
let
x
:int =
1+1
;
let
y
:int =
1
;
return
(
ref
(
x
),
ref
(
x
));
let
x
:int =
y
+
y
;
return
(
ref
(
x
),
ref
(
x
));