The token Red Devil is supposed to give damage equal to its power to the first creature of the opponent. It only gives 1 damage. Seen it in Avacyns Madness twice where it should have given 2 and 4 damage respectively.
I experienced the red devil bug too and assumed it was the same as the Eldrazi Scion bug that has been said to be fixed in the next version
@critman - I didn’t know that the cause of the scion bug was reinforcement stripping. But yes, that seems to be the case here also.
This issue is now under investigation.
Thank you for the feedback!
Still couldn’t reproduce it.
In order to help us, please provide the following information (you can PM me the answer if you prefer, or send it to Customer Support in-game):
-
Which card?
-
Type and Subtype;
-
Is it related to trigger, mechanic, text, or other?
-
Which Event/Battle?
-
All cards in the deck and possible interactions that might have happened.
Thank you,
Marcela.
@Oktagon_Support - I have no possibility to deliver the requested information, it being 3 months ago I logged this bug.
If I encounter this bug again I’ll return with the requested information. But there is reason to believe this bug has been fixed.
Thank you so much @critman
Please let me know! 
Keep in mind the information we need so if you face it you can provide us with what we need.