Function parse_model_values 

fn parse_model_values(
    output: &str,
    insert_value: impl FnMut(&str, U256),
) -> Result<(), SymbolicError>