pub trait ExecutionState {
// Required methods
fn get_count_node_execution(&self, node: &[u8]) -> Option<u64>;
fn inc_counter_node_execution(&mut self, node: &[u8]) -> u64;
fn get_value(&self, address: &[u8]) -> Option<(u64, ChangeValue)>;
fn set_value(&mut self, address: &[u8], counter: u64, value: ChangeValue);
}