Kira's ability ignored by AI

Found another issue, probably with the AI as well.
I had in my field "Traxos, Scourge of Kroog" and "Kira, Great Glass Spinner".
As soon as it's the AI's turn, it casts "Freyalise, Llanowar's Fury", and attempts to destroy my Traxos.
Kira's ability triggers, and Freyalise's ability should have been countered, but Traxos was still destroyed by it.
Here's the relevant log:

2:11 PM: Turn 32 Computer 3 (-5 - 40 - 8 - 23)
2:11 PM, T32.DR: Computer 3 draws a card
2:11 PM, T32.M1: Computer 3 casts Champion of Lambholt [c85]
2:11 PM, T32.M1: Computer 3 puts Champion of Lambholt [c85] from stack onto the Battlefield
2:11 PM, T32.M1: Computer 3 casts Freyalise, Llanowar's Fury [1ce]
2:11 PM, T32.M1: Computer 3 puts Freyalise, Llanowar's Fury [1ce] from stack onto the Battlefield
2:11 PM, T32.M1: Computer 3 activates: destroy target artifact or enchantment. from Freyalise, Llanowar's Fury [1ce] targeting Traxos, Scourge of Kroog [d98]
2:11 PM, T32.M1: Ability triggers: Traxos, Scourge of Kroog [d98] - Whenever this creature becomes the target of a spell or ability for the first time each turn, counter that spell or ability.
2:11 PM, T32.M1: Traxos, Scourge of Kroog [d98] died