pub fn stop(
env: &Environment<'_, impl Connect, impl Printer>,
prob_query: &str,
runtime: &mut Runtime,
) -> SomaResult<()>pub fn stop(
env: &Environment<'_, impl Connect, impl Printer>,
prob_query: &str,
runtime: &mut Runtime,
) -> SomaResult<()>