Function post_exec 

fn post_exec(
    state: &mut Cheatcodes,
    ecx: Ecx<'_, '_, '_>,
    executor: &mut dyn CheatcodesExecutor,
    tracer: &mut Tracer,
    is_static_call: bool,
)