pub trait ControlFlowCore {
// Required methods
fn instructions(&mut self) -> &mut Vec<Instruction>;
fn visit_node(&mut self, node: &Node);
fn push_loop_label(&mut self, break_address: CodeAddress);
fn pop_loop_label(&mut self);
fn get_current_break_address(&self) -> Option<CodeAddress>;
}