// use crate::engine::context::ContextState;
// pub fn assert_invariants(state: &ContextState) {
// if state.history.len() > 1000 {
// panic!("Invariant violated: history too long");
// }
//
// if state.vars.len() > 500 {
// panic!("Invariant violated: too many vars");
// }
// }