let
edge_type e = !(
CFG
.
E
.label e)