Function seed_model_elements 

fn seed_model_elements(
    cx: &mut SymCx,
    model: &mut HashMap<Symbol, U256>,
    elements: &[SymbolicAbiValue],
    values: &[DynSolValue],
) -> bool