Function register_expected_call 

pub(crate) fn register_expected_call(
    expected_calls: &mut Vec<ExpectedCall>,
    cx: &mut SymCx,
    expected: ExpectedCall,
) -> Result<(), &'static str>

Registers an expected call using the concrete cheatcode’s keyed-additive semantics.