[fixed/closed]EDH bad mana-dependant commander triggers

[Nexhro]

Describe the Bug:
These used to work not long ago, so some recent fix must be causing this.

The three creatures with abilities based on the amount of mana spent to cast them, namely Prossh, Skyraider of Kher, Marath, Will of the Wild and Jeleva, Nephalia's Scourge are broken again. They work fine in regular games, but in EDH games, their calculations are wrong.

Marath will enter the battlefield with 2 +1/+1 counters on it the first time it is cast from its owner's command zone (3 mana spent), with 7 counters the second time (5 mana spent) and with 14 counters the third time (7 mana spent).
When the opponent controls Grand Arbiter Augustin IV, Marath will enter the battlefield with 3 counters the first time its cast (4 mana spent), with 9 counters the second time (6 mana spent) and with 17 counters the third time it's cast from command zone (8 mana spent).

Similiarly, Prossh will put 5 tokens onto the battlefield the first time (6 mana spent) and 13 tokens the second time (8 mana spent).

Jeleva exiles its controller's (currently bugged, should be both player's) top 3 cards the first time its cast (4 mana spent) and the top 9 cards the second time its cast (6 mana spent).

Which card did behave improperly ?
Prossh, Skyraider of Kher, Marath, Will of the Wild and Jeleva, Nephalia's Scourge

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

What exactly should be the correct behavior/interaction ?
The abilities scale according to the mana spent on the respective commander.

Are any other cards possibly affected by this bug ?
-

[Gargaroz]

Fixed in 4bdb4b7

[Nexhro]

Works fine for Marath and Prossh as of CoRM15 mini4.

Jeleva now exiles the top 8 cards of each player's library the first time it's cast. 10 the second time, 12 the third time and so on, so that one is still bugged.

[Gargaroz]

I actually left in Jeleva code some debug part, fixed in 2076115

[Nexhro]

The number of exiled cards correctly matches the amount of mana spent on Jeleva as of KOT. This is fixed.

The other triggered ability still doesn't work, though (separate thread here).