open Code type basic_block val linearize : code -> code val basic_blocks : code -> basic_block list val trace : Frame.frame -> basic_block list -> code val program : code Trans.program -> code Trans.program