Function parse_model_with_symbols 

fn parse_model_with_symbols(
    output: &str,
    symbols: &HashMap<String, Symbol>,
) -> Result<HashMap<Symbol, U256>, SymbolicError>