AIs can gain Madman after Saboteur attacks

What steps will reproduce the problem?
1. A game with Saboteur and Hermit/Madman in play.
2. Buy and play a Saboteur.

What is the expected output? What do you see instead?

I expect the Madman card cannot be obtained from a "gain a card costing up to 
N" mechanic since it is not in the supply.

However, after getting a card trashed by Saboteur, the AIs can choose to gain a 
Madman as their replacement card.  The player cannot choose to gain a Madman 
after suffering a Saboteur attack - it is not selectable. 

What version of the product are you using? On what operating system?
Androminion 4.01 on Android 4.2.1

Please provide any additional information below.

I've attached the log file for the game where I noticed this.  It happens 
multiple times, with the first instance on line 414.

Original issue reported on code.google.com by wes...@petrowski.ca on 15 Dec 2013 at 5:42

Merged into: #502

Attachments:

log_2013-12-15_11-09-40.txt

novendraap / androminion

AIs can gain Madman after Saboteur attacks #629