Function make_acc_non_empty 

fn make_acc_non_empty(
    callee: &Address,
    ecx: &mut CheatsCtxt<'_, '_, '_, '_>,
) -> Result