Cfg_to_linear
Conversion from Cfg to Linear code.
Cfg
Linear
val run : Cfg_with_layout.t -> Linear.fundecl