Function parse_model_with_symbol 

fn parse_model_with_symbol(
    output: &str,
    symbol_for: impl FnMut(&str) -> Option<Symbol>,
) -> Result<HashMap<Symbol, U256>, SymbolicError>