Constant biodivine_sketchbook::sketchbook::_sketch::_impl_session_state::CHECK_CONSISTENCY_PATH

const CHECK_CONSISTENCY_PATH: &str = "check_consistency";