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