pub(crate) fn epistemic_execution_backend_label( backend: EpistemicExecutionBackend, ) -> &'static str