Function build_parameter_substitutions 

fn build_parameter_substitutions(
    params: &[ParameterIR],
    args: &[Expression],
) -> Result<HashMap<String, Expression>, SolidityError>