pub fn for_string( symbol_table: &SymbolScope, value: &str, ) -> TractResult<(Option<String>, InferenceFact)>