Function adjust_expected_call_gas_for_value 

pub(crate) fn adjust_expected_call_gas_for_value(
    value: Option<U256>,
    gas: Option<u64>,
    min_gas: Option<u64>,
) -> (Option<u64>, Option<u64>)

Implements the adjust_expected_call_gas_for_value symbolic state helper.