public override void Bad()
{
/* FLAW: always evaluates to true */
Random random = new Random();
RNGCryptoServiceProvider rngCsp = new RNGCryptoServiceProvider();
if (!(random.GetType() == rngCsp.GetType()))
{
IO.WriteLine("always prints");
}
}