pub fn reasoned(tree: &str, kept: &dyn Store) -> Result<Reasoning, Trouble>
Reads a whole reasoning out of a store. Nothing is run and no repository is touched: it is what was written down, plus what follows from it.