module BTL_SyntheticNodes:sig..end
BTL auxiliary functions for successorship calculus and synthetic nodes
val compute_surrounding_blocks : BTL.iblock_info Maps.PTree.t -> 'a -> unit
val eliminate_synthetic_nodes : BTL.iblock_info Maps.PTree.t -> BTL.iblock_info Maps.PTree.t