historicalState.addTypeState(typeInstruction, fromTypeState, toTypeState);
}
});
}
executor.awaitUninterruptibly();
historicalStates.addFirst(historicalState);
historicalStateHeaderTags.put(to.getVersion(), new HashMap<String, String>(stateEngine.getHeaderTags()));
/// trim historical entries beyond desired size.