public static void Delegates2_Bugged()
{
// it should invoke minus
DelegateIntInt d = minus;
var r = d(5);
Contract.Assert(r != 4);
}
public static void invoke2(DelegateIntInt f)
{
// it should invoke minus or return a no deterministic value.
var r = f(1);
//Contract.Assert(r == 0 || r == 2);
}
public static void creation2()
{
DelegateIntInt d = minus;
}