This module contains a representation of a control-flow graph that aims to
enforce the correctness of jumps between vertices of graphs, i.e., blocks
of code.
The graph model permits both graphs and vertices that are incomplete and
facilitates easy composition of such graphs when they are compatible.