Constant biodivine_sketchbook::sketchbook::_sketch::_impl_session_state::ASSERT_CONSISTENCY_PATH

const ASSERT_CONSISTENCY_PATH: &str = "assert_consistency";