Collectible Card Game Headquarters

Describe the Bug:
1) When Favor of the Mighty is on the battlefield, each creature with the lowest converted mana cost has protection from all colors.

2) The respective creatures have protection from all colors when Favor of the Mighty is on the stack.

3) Sometimes, when Favor of the Mighty's controller's opponent controls all creatures with the lowest converted mana cost, those creatures don't have protection from all colors until a creature enters the battlefield under Favor's controller's control.

4) Last time I cast Favor, I got the following dumps (got different dumps in other games, so this might be card-specific):

Dumps | Open

bad parameters
get_card_instance(2, 14)
0: 0x023BE188
1: 0x0237B97E
2: 0x0237C1D8
3: 0x0238EC54
4: 0x023A0A7F
5: 0x0218731B
6: 0x023C8FB5
7: 0x0238561F
8: 0x023856E2
9: 0x02385745
10: 0x02381BB0
11: 0x004368F9
12: 0x02383C4C
13: 0x0043BFAA
14: 0x004399BD
15: 0x0047902C
16: 0x004946E9
17: 0x76323677
18: 0x777E9D72
19: 0x777E9D45

bad parameters
get_card_instance(2, 14)
0: 0x023BE188
1: 0x0237B97E
2: 0x023A077B
3: 0x023A0A8F
4: 0x0218731B
5: 0x023C8FB5
6: 0x0238561F
7: 0x023856E2
8: 0x02385745
9: 0x02381BB0
10: 0x004368F9
11: 0x02383C4C
12: 0x0043BFAA
13: 0x004399BD
14: 0x0047902C
15: 0x004946E9
16: 0x76323677
17: 0x777E9D72
18: 0x777E9D45

bad parameters
get_card_instance(2, 14)
0: 0x023BE188
1: 0x0237B97E
2: 0x023A0721
3: 0x023A07B3
4: 0x023A0A8F
5: 0x0218731B
6: 0x023C8FB5
7: 0x0238561F
8: 0x023856E2
9: 0x02385745
10: 0x02381BB0
11: 0x004368F9
12: 0x02383C4C
13: 0x0043BFAA
14: 0x004399BD
15: 0x0047902C
16: 0x004946E9
17: 0x76323677
18: 0x777E9D72
19: 0x777E9D45

bad parameters
get_card_instance(2, 14)
0: 0x023BE188
1: 0x0237B97E
2: 0x0237C218
3: 0x023A07D9
4: 0x023A0A8F
5: 0x0218731B
6: 0x023C8FB5
7: 0x0238561F
8: 0x023856E2
9: 0x02385745
10: 0x02381BB0
11: 0x004368F9
12: 0x02383C4C
13: 0x0043BFAA
14: 0x004399BD
15: 0x0047902C
16: 0x004946E9
17: 0x76323677
18: 0x777E9D72
19: 0x777E9D45

bad parameters
get_card_instance(2, 14)
0: 0x023BE188
1: 0x0237B97E
2: 0x023A07E8
3: 0x023A0A8F
4: 0x0218731B
5: 0x023C8FB5
6: 0x0238561F
7: 0x023856E2
8: 0x02385745
9: 0x02381BB0
10: 0x004368F9
11: 0x02383C4C
12: 0x0043BFAA
13: 0x004399BD
14: 0x0047902C
15: 0x004946E9
16: 0x76323677
17: 0x777E9D72
18: 0x777E9D45

Which card did behave improperly ?
Favor of the Mighty

Which update are you using?(date,name)Which type(Duel,Gauntlet,Sealed Deck)
CoRM15 mini5, duel

What exactly should be the correct behavior/interaction ?
When Favor of the Mighty is on the battlefield, each creature with the highest converted mana cost has protection from all colors.

The respective creatures only have protection from all colors when Favor of the Mighty is on the battlefield.

Are any other cards possibly affected by this bug ?
-

I got the following dump on casting and has no effect at all.

bad parameters
in_play(2, 0)
0: 0x023BE188
1: 0x0237C07B
2: 0x023A0A6B
3: 0x0218731B
4: 0x023C8FB5
5: 0x0238561F
6: 0x023856E2
7: 0x02385745
8: 0x02381BB0
9: 0x004368F9
10: 0x02383C4C
11: 0x0043BFAA
12: 0x004399BD
13: 0x0047902C
14: 0x004946E9
15: 0x775E338A
16: 0x77B69F72
17: 0x77B69F45

It was a global bug for the "get_highest_cmc" function: fixed in d917ec7