pub trait InstrDisplayContext {
type Constant: Constant;
// Required methods
fn get_constant(&self, i: usize) -> &Self::Constant;
fn get_name(&self, i: usize) -> &str;
fn get_varname(&self, i: usize) -> &str;
fn get_cell_name(&self, i: usize) -> &str;
}