diff --git a/examples/reduced/10616910384372940250.cs b/examples/reduced/10616910384372940250.cs
deleted file mode 100644
index 1a107d37..00000000
--- a/examples/reduced/10616910384372940250.cs
+++ /dev/null
@@ -1,36 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-21 04:54:58
-// Seed: 10616910384372940250
-// Reduced from 21.8 KiB to 0.4 KiB
-// Debug: Outputs 142
-// Release: Outputs 0
-struct S0
-{
-    public char F0;
-    public char F1;
-    public byte F2;
-}
-
-struct S1
-{
-    public S0 F1;
-    public byte F2;
-    public S1(byte f2): this()
-    {
-        F2 = f2;
-    }
-}
-
-public class Program
-{
-    public static void Main()
-    {
-        S1[] vr6 = new S1[]{new S1(142)};
-        vr6[0].F1 = M10();
-        System.Console.WriteLine(vr6[0].F2);
-    }
-
-    static S0 M10()
-    {
-        return new S0();
-    }
-}
diff --git a/examples/reduced/11049252875418439527.cs b/examples/reduced/11049252875418439527.cs
deleted file mode 100644
index 169ff575..00000000
--- a/examples/reduced/11049252875418439527.cs
+++ /dev/null
@@ -1,40 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 20:42:06
-// Seed: 11049252875418439527
-// Reduced from 97.5 KiB to 0.5 KiB
-// Debug: Outputs -1
-// Release: Outputs -65536
-struct S0
-{
-    public sbyte F0;
-    public char F1;
-    public ushort F2;
-}
-
-struct S1
-{
-    public short F0;
-    public S0 F1;
-    public S0 F2;
-    public S0 F3;
-    public int F4;
-    public S1(int f4): this()
-    {
-        F4 = f4;
-    }
-}
-
-public class Program
-{
-    static S1 s_6;
-    static S1[] s_13 = new S1[]{new S1(-1)};
-    public static void Main()
-    {
-        s_13[0].F3 = M16();
-        System.Console.WriteLine(s_13[0].F4);
-    }
-
-    static S0 M16()
-    {
-        return s_6.F3;
-    }
-}
diff --git a/examples/reduced/11923495345812789064.cs b/examples/reduced/11923495345812789064.cs
deleted file mode 100644
index 64da91ba..00000000
--- a/examples/reduced/11923495345812789064.cs
+++ /dev/null
@@ -1,41 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 20:39:35
-// Seed: 11923495345812789064
-// Reduced from 69.9 KiB to 0.5 KiB
-// Debug: Outputs 129
-// Release: Outputs 0
-struct S0
-{
-    public byte F0;
-    public short F1;
-    public sbyte F2;
-    public S0(byte f0): this()
-    {
-        F0 = f0;
-    }
-}
-
-struct S1
-{
-    public S0 F0;
-    public S0 F1;
-    public S1(S0 f1): this()
-    {
-        F1 = f1;
-    }
-}
-
-public class Program
-{
-    static S1 s_9 = new S1(new S0(129));
-    public static void Main()
-    {
-        s_9.F0 = M4();
-        System.Console.WriteLine(s_9.F1.F0);
-    }
-
-    static S0 M4()
-    {
-        S0 vr10 = new S0(0);
-        return vr10;
-    }
-}
diff --git a/examples/reduced/11949841452559086614.cs b/examples/reduced/11949841452559086614.cs
deleted file mode 100644
index ba05ae44..00000000
--- a/examples/reduced/11949841452559086614.cs
+++ /dev/null
@@ -1,42 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-19 05:28:59
-// Seed: 11949841452559086614
-// Reduced from 52.8 KiB to 0.5 KiB
-// Debug: Throws 'System.OverflowException'
-// Release: Runs successfully
-class C0
-{
-    public long F4;
-    public C0(long f4)
-    {
-        F4 = f4;
-    }
-}
-
-struct S1
-{
-    public C0 F1;
-    public S1(C0 f1): this()
-    {
-        F1 = f1;
-    }
-}
-
-class C2
-{
-    public S1 F5;
-    public C2(S1 f5)
-    {
-        F5 = f5;
-    }
-}
-
-public class Program
-{
-    static C2 s_6 = new C2(new S1(new C0(-1L)));
-    public static void Main()
-    {
-        var vr1 = s_6.F5;
-        long vr6 = vr1.F1.F4;
-        char vr2 = (char)(0 / ((0 & (-9223372036854775808L / vr6)) | 1));
-    }
-}
diff --git a/examples/reduced/12352736376880721883.cs b/examples/reduced/12352736376880721883.cs
deleted file mode 100644
index ec50c17b..00000000
--- a/examples/reduced/12352736376880721883.cs
+++ /dev/null
@@ -1,37 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 20:48:56
-// Seed: 12352736376880721883
-// Reduced from 214.0 KiB to 0.5 KiB
-// Debug: Outputs 1
-// Release: Outputs 0
-struct S0
-{
-    public ushort F0;
-    public ushort F1;
-    public bool F2;
-}
-
-struct S1
-{
-    public S0 F0;
-    public sbyte F1;
-    public S1(sbyte f1): this()
-    {
-        F1 = f1;
-    }
-}
-
-public class Program
-{
-    static S1 s_38 = new S1(1);
-    public static void Main()
-    {
-        s_38.F0 = M68();
-        sbyte vr56 = s_38.F1;
-        System.Console.WriteLine(vr56);
-    }
-
-    static S0 M68()
-    {
-        return new S0();
-    }
-}
diff --git a/examples/reduced/14212375628084965692.cs b/examples/reduced/14212375628084965692.cs
deleted file mode 100644
index c48cbed2..00000000
--- a/examples/reduced/14212375628084965692.cs
+++ /dev/null
@@ -1,55 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 20:56:50
-// Seed: 14212375628084965692
-// Reduced from 444.4 KiB to 0.7 KiB
-// Debug: Outputs -31
-// Release: Outputs 0
-struct S0
-{
-    public byte F0;
-    public ushort F1;
-    public sbyte F2;
-}
-
-struct S2
-{
-    public S0 F5;
-    public sbyte F6;
-    public S2(sbyte f6): this()
-    {
-        F6 = f6;
-    }
-}
-
-class C0
-{
-    public S2 F1;
-    public C0(S2 f1)
-    {
-        F1 = f1;
-    }
-}
-
-struct S3
-{
-    public C0 F4;
-    public S3(C0 f4): this()
-    {
-        F4 = f4;
-    }
-}
-
-public class Program
-{
-    static S3[] s_59 = new S3[]{new S3(new C0(new S2(-31)))};
-    public static void Main()
-    {
-        var vr30 = s_59[0];
-        vr30.F4.F1.F5 = M60();
-        System.Console.WriteLine(vr30.F4.F1.F6);
-    }
-
-    static S0 M60()
-    {
-        return new S0();
-    }
-}
diff --git a/examples/reduced/15899317618850414970.cs b/examples/reduced/15899317618850414970.cs
deleted file mode 100644
index d0bd2981..00000000
--- a/examples/reduced/15899317618850414970.cs
+++ /dev/null
@@ -1,52 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 07:20:02
-// Seed: 15899317618850414970
-// Reduced from 37.7 KiB to 0.7 KiB
-// Debug: 
-// Release: 
-struct S0
-{
-    public char F0;
-    public sbyte F1;
-    public char F2;
-    public S0(sbyte f1): this()
-    {
-    }
-}
-
-struct S1
-{
-    public S0 F2;
-    public sbyte F3;
-}
-
-struct S2
-{
-    public long F1;
-    public S1 F4;
-    public S1 F9;
-}
-
-public class Program
-{
-    static uint s_1;
-    static S2 s_7;
-    public static void Main()
-    {
-        s_1 = M4(s_7, new ulong[][]{new ulong[]{0}});
-        s_7.F4.F2 = M19();
-        char vr34 = s_7.F4.F2.F2;
-        S2 vr36 = s_7;
-        System.Console.WriteLine(vr36.F4.F3);
-    }
-
-    static ushort M4(S2 arg2, ulong[][] arg3)
-    {
-        System.Console.WriteLine(arg2.F4.F3);
-        return 0;
-    }
-
-    static S0 M19()
-    {
-        return new S0(0);
-    }
-}
diff --git a/examples/reduced/19651690852725464.cs b/examples/reduced/19651690852725464.cs
deleted file mode 100644
index 5ceb9a26..00000000
--- a/examples/reduced/19651690852725464.cs
+++ /dev/null
@@ -1,40 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 20:45:46
-// Seed: 19651690852725464
-// Reduced from 121.3 KiB to 0.5 KiB
-// Debug: Outputs 211
-// Release: Outputs 0
-struct S0
-{
-    public byte F0;
-    public char F1;
-    public ushort F2;
-    public S0(byte f0): this()
-    {
-        F0 = f0;
-    }
-}
-
-struct S1
-{
-    public S0 F3;
-    public S0 F4;
-    public S1(S0 f4): this()
-    {
-        F4 = f4;
-    }
-}
-
-public class Program
-{
-    static S1 s_27 = new S1(new S0(211));
-    public static void Main()
-    {
-        s_27.F3 = M42();
-        System.Console.WriteLine(s_27.F4.F0);
-    }
-
-    static S0 M42()
-    {
-        return new S0(0);
-    }
-}
diff --git a/examples/reduced/2759518470837754773.cs b/examples/reduced/2759518470837754773.cs
deleted file mode 100644
index 4a7adc5a..00000000
--- a/examples/reduced/2759518470837754773.cs
+++ /dev/null
@@ -1,58 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-18 18:21:45
-// Seed: 2759518470837754773
-// Reduced from 96.2 KiB to 0.8 KiB
-// Debug: Outputs 0
-// Release: Outputs 56
-struct S0
-{
-    public char F0;
-}
-
-struct S1
-{
-    public sbyte F0;
-    public S1(sbyte f0): this()
-    {
-        F0 = f0;
-    }
-}
-
-struct S2
-{
-    public S0 F3;
-    public S1 F4;
-    public bool F5;
-}
-
-struct S3
-{
-    public char F0;
-    public S3(char f0): this()
-    {
-        F0 = f0;
-    }
-}
-
-public class Program
-{
-    static S2 s_11;
-    static S2 s_25;
-    static S1[,,, ] s_38 = new S1[,,, ]{{{{new S1(0)}, {new S1(-68)}, {new S1(0)}, {new S1(0)}, {new S1(0)}}}};
-    public static void Main()
-    {
-        s_11.F4 = M54();
-        S3 vr104 = new S3('8');
-        bool vr105 = s_11.F5;
-        if (vr105)
-        {
-            s_25.F3.F0 = vr104.F0;
-        }
-
-        System.Console.WriteLine((int)s_25.F3.F0);
-    }
-
-    static S1 M54()
-    {
-        return s_38[0, 0, 0, 0];
-    }
-}
diff --git a/examples/reduced/2772307662329830091.cs b/examples/reduced/2772307662329830091.cs
deleted file mode 100644
index 2a4f127d..00000000
--- a/examples/reduced/2772307662329830091.cs
+++ /dev/null
@@ -1,47 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 21:07:04
-// Seed: 2772307662329830091
-// Reduced from 178.3 KiB to 0.6 KiB
-// Debug: Outputs -127
-// Release: Outputs 0
-struct S0
-{
-    public sbyte F0;
-    public char F1;
-    public char F2;
-    public S0(sbyte f0): this()
-    {
-        F0 = f0;
-    }
-}
-
-struct S1
-{
-    public S0 F2;
-    public S0 F3;
-    public S0 F7;
-    public S1(S0 f3): this()
-    {
-        F3 = f3;
-    }
-}
-
-class C0
-{
-    public S1 F2;
-}
-
-public class Program
-{
-    static C0[] s_28 = new C0[]{new C0()};
-    static S1 s_30 = new S1(new S0(-127));
-    public static void Main()
-    {
-        s_30.F2 = M43();
-        System.Console.WriteLine(s_30.F3.F0);
-    }
-
-    static S0 M43()
-    {
-        return s_28[0].F2.F7;
-    }
-}
diff --git a/examples/reduced/2789701470845321463.cs b/examples/reduced/2789701470845321463.cs
deleted file mode 100644
index 1e80b254..00000000
--- a/examples/reduced/2789701470845321463.cs
+++ /dev/null
@@ -1,36 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 14:09:26
-// Seed: 2789701470845321463
-// Reduced from 232.7 KiB to 0.4 KiB
-// Debug: Outputs -28
-// Release: Outputs 0
-struct S0
-{
-    public sbyte F1;
-    public short F2;
-    public bool F3;
-}
-
-struct S1
-{
-    public S0 F7;
-    public sbyte F8;
-    public S1(sbyte f8): this()
-    {
-        F8 = f8;
-    }
-}
-
-public class Program
-{
-    static S1 s_35 = new S1(-28);
-    public static void Main()
-    {
-        s_35.F7 = M18();
-        System.Console.WriteLine(s_35.F8);
-    }
-
-    static S0 M18()
-    {
-        return new S0();
-    }
-}
diff --git a/examples/reduced/4407836798146231402.cs b/examples/reduced/4407836798146231402.cs
deleted file mode 100644
index 69d9b569..00000000
--- a/examples/reduced/4407836798146231402.cs
+++ /dev/null
@@ -1,40 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 02:23:56
-// Seed: 4407836798146231402
-// Reduced from 100.1 KiB to 0.5 KiB
-// Debug: Outputs 0
-// Release: Outputs 1
-struct S0
-{
-    public bool F3;
-    public S0(sbyte f1): this()
-    {
-    }
-}
-
-struct S1
-{
-    public int F1;
-    public S0 F2;
-    public S0 F3;
-    public int F4;
-}
-
-public class Program
-{
-    static S1 s_5;
-    public static void Main()
-    {
-        s_5.F3 = M27();
-        var vr48 = s_5.F1;
-        s_5.F1 = s_5.F4;
-        S1 vr47 = s_5;
-        var vr39 = s_5.F1;
-        System.Console.WriteLine(vr39);
-        S0[, ] vr32 = new S0[, ]{{new S0(0)}};
-    }
-
-    static S0 M27()
-    {
-        return new S0(0);
-    }
-}
diff --git a/examples/reduced/5049987370376495039.cs b/examples/reduced/5049987370376495039.cs
deleted file mode 100644
index 9a23ca60..00000000
--- a/examples/reduced/5049987370376495039.cs
+++ /dev/null
@@ -1,38 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 21:21:06
-// Seed: 5049987370376495039
-// Reduced from 54.0 KiB to 0.5 KiB
-// Debug: Outputs 1
-// Release: Outputs 0
-struct S0
-{
-    public char F0;
-    public bool F1;
-    public short F2;
-}
-
-struct S1
-{
-    public S0 F0;
-    public S0 F1;
-    public uint F2;
-    public S1(uint f2): this()
-    {
-        F2 = f2;
-    }
-}
-
-public class Program
-{
-    static S1 s_2 = new S1(1U);
-    public static void Main()
-    {
-        s_2.F1 = M7();
-        System.Console.WriteLine(s_2.F2);
-    }
-
-    static S0 M7()
-    {
-        S1 var0 = default(S1);
-        return var0.F0;
-    }
-}
diff --git a/examples/reduced/5443195282146714966.cs b/examples/reduced/5443195282146714966.cs
deleted file mode 100644
index 1a60835d..00000000
--- a/examples/reduced/5443195282146714966.cs
+++ /dev/null
@@ -1,139 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-17 16:38:02
-// Seed: 5443195282146714966
-// Reduced from 148.5 KiB to 4.1 KiB
-// Debug: Outputs False
-// Release: Outputs True
-struct S0
-{
-    public short F0;
-    public bool F1;
-    public sbyte F2;
-    public short F3;
-    public S0(bool f1): this()
-    {
-    }
-}
-
-struct S1
-{
-    public S0 F0;
-    public bool F1;
-    public char F2;
-    public char F3;
-}
-
-public class Program
-{
-    static S1 s_1 = new S1();
-    static S1 s_2 = new S1();
-    static S1 s_5 = new S1();
-    static S1 s_8 = new S1();
-    static ulong s_11 = 0;
-    static byte s_13 = 0;
-    static S0[][] s_17 = new S0[][]{new S0[]{new S0(false)}};
-    public static void Main()
-    {
-        bool vr757 = s_1.F1;
-        var vr758 = s_2.F2;
-        var vr763 = s_8.F0;
-        var vr764 = s_5.F0.F0;
-        var vr765 = new S0[]{new S0(true)};
-        var vr766 = s_2.F0;
-        S0 vr767 = vr763;
-        short vr768 = vr764;
-        S0[] vr769 = vr765;
-        S0 vr770 = vr766;
-        var vr771 = new S0(true);
-        var vr772 = s_2.F2;
-        var vr773 = new S0[]{new S0(true)};
-        var vr774 = vr769[0].F0;
-        var vr775 = vr767.F3;
-        var vr776 = new S0[]{new S0(true)};
-        var vr777 = new S0[]{new S0(false), new S0(true), new S0(false), new S0(true)};
-        var vr778 = (char)s_17[0][0].F0;
-        var vr779 = s_17[0][0];
-        var vr781 = s_17[0][0].F3;
-        var vr782 = s_17[0];
-        var vr783 = s_13--;
-        var vr784 = s_8.F3;
-        S0[] vr785 = vr777;
-        short vr786 = vr774;
-        char vr787 = vr778;
-        System.Console.WriteLine(vr785[0].F0);
-        S0[] vr788 = vr782;
-        short vr789 = vr781;
-        System.Console.WriteLine(vr788[0].F0);
-        var vr794 = s_1.F0.F3;
-        var vr795 = new S0[]{new S0(true), new S0(true), new S0(true)};
-        var vr796 = s_2.F2;
-        S0[] vr798 = vr776;
-        short vr799 = vr775;
-        var vr801 = (short)s_11;
-        short vr802 = vr794;
-        char vr804 = vr772;
-        var vr805 = (char)s_11;
-        var vr806 = new S0[]{new S0(false)};
-        short vr807 = vr801;
-        char vr808 = vr796;
-        char vr809 = vr805;
-        S0 vr810 = new S0(true);
-        var vr811 = vr810;
-        var vr812 = s_17[0];
-        var vr813 = new S0(false);
-        var vr814 = s_17[0];
-        var vr815 = s_8.F0;
-        S0[] vr818 = vr814;
-        S0 vr819 = vr815;
-        var vr820 = new S0(true);
-        var vr823 = vr818[0].F0;
-        var vr825 = new S0[]{new S0(true)};
-        var vr826 = new S0[]{new S0(false), new S0(true), new S0(false), new S0(true)};
-        var vr827 = new S0[]{new S0(true), new S0(true), new S0(true)};
-        var vr830 = new S0[]{new S0(false)};
-        S0 vr832 = new S0(true);
-        var vr833 = vr832;
-        s_1.F0 = M29(vr811, vr833);
-        S0 vr834 = s_1.F0;
-        var vr837 = s_8.F0;
-        var vr838 = s_17[0];
-        S0 vr839 = vr837;
-        var vr842 = s_8.F0;
-        var vr843 = new S0[]{new S0(true)};
-        var vr844 = vr839.F3;
-        var vr845 = new S0[]{new S0(true)};
-        var vr846 = new S0[]{new S0(false), new S0(true), new S0(false), new S0(true)};
-        var vr847 = s_17[0][0];
-        M30(vr846, 'K', vr847);
-        var vr849 = new S0[]{new S0(true), new S0(true), new S0(true)};
-        var vr850 = s_2.F2;
-        short vr851 = vr844;
-        var vr852 = new S0[]{new S0(false)};
-        System.Console.WriteLine(s_1.F1);
-    }
-
-    static S0 M29(S0 arg0, S0 arg3)
-    {
-        var vr188 = s_8.F0;
-        var vr204 = new S0[]{new S0(true)};
-        var vr205 = new S0[]{new S0(false)};
-        var vr211 = s_17[0][0];
-        var vr214 = (char)0;
-        var vr222 = s_17[0];
-        var vr224 = s_5.F0;
-        var vr208 = (char)((int)M30(vr222, vr214, vr224) - (short)M30(vr205, 'K', vr211));
-        var vr210 = new S0[]{new S0(true)};
-        var vr212 = s_2.F2;
-        var vr223 = new S0(false);
-        M30(vr204, '\'', vr223);
-        M30(vr210, vr208, vr188);
-        var vr219 = new S0[]{new S0(false)};
-        M30(vr219, vr212, arg3);
-        return new S0(true);
-    }
-
-    static ulong M30(S0[] arg0, char arg2, S0 arg3)
-    {
-        System.Console.WriteLine(arg0[0].F0);
-        return s_11;
-    }
-}
diff --git a/examples/reduced/7491069974763601721.cs b/examples/reduced/7491069974763601721.cs
deleted file mode 100644
index 31fd1a51..00000000
--- a/examples/reduced/7491069974763601721.cs
+++ /dev/null
@@ -1,36 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 21:17:45
-// Seed: 7491069974763601721
-// Reduced from 77.6 KiB to 0.4 KiB
-// Debug: Outputs True
-// Release: Outputs False
-struct S0
-{
-    public bool F0;
-    public short F1;
-    public sbyte F2;
-}
-
-struct S2
-{
-    public S0 F6;
-    public bool F7;
-    public S2(bool f7): this()
-    {
-        F7 = f7;
-    }
-}
-
-public class Program
-{
-    static S2 s_5 = new S2(true);
-    public static void Main()
-    {
-        s_5.F6 = M12();
-        System.Console.WriteLine(s_5.F7);
-    }
-
-    static S0 M12()
-    {
-        return new S0();
-    }
-}
diff --git a/examples/reduced/7567692414646527312.cs b/examples/reduced/7567692414646527312.cs
deleted file mode 100644
index 36a1ed3d..00000000
--- a/examples/reduced/7567692414646527312.cs
+++ /dev/null
@@ -1,36 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-21 07:34:06
-// Seed: 7567692414646527312
-// Reduced from 19.0 KiB to 0.4 KiB
-// Debug: Outputs 2
-// Release: Outputs 0
-struct S0
-{
-    public char F0;
-    public ushort F1;
-    public byte F2;
-}
-
-struct S1
-{
-    public S0 F3;
-    public byte F4;
-    public S1(byte f4): this()
-    {
-        F4 = f4;
-    }
-}
-
-public class Program
-{
-    static S1[] s_4 = new S1[]{new S1(2)};
-    public static void Main()
-    {
-        s_4[0].F3 = M2();
-        System.Console.WriteLine(s_4[0].F4);
-    }
-
-    static S0 M2()
-    {
-        return new S0();
-    }
-}
diff --git a/examples/reduced/8392056164361137741.cs b/examples/reduced/8392056164361137741.cs
deleted file mode 100644
index c5258774..00000000
--- a/examples/reduced/8392056164361137741.cs
+++ /dev/null
@@ -1,42 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 14:38:43
-// Seed: 8392056164361137741
-// Reduced from 125.5 KiB to 0.5 KiB
-// Debug: Outputs 38460
-// Release: Outputs 0
-struct S0
-{
-    public bool F0;
-    public ushort F1;
-    public byte F2;
-}
-
-struct S1
-{
-    public S0 F2;
-}
-
-struct S2
-{
-    public S1 F0;
-    public ushort F1;
-    public S2(ushort f1): this()
-    {
-        F1 = f1;
-    }
-}
-
-public class Program
-{
-    static S0 s_4;
-    static S2 s_14 = new S2(38460);
-    public static void Main()
-    {
-        s_14.F0.F2 = M15();
-        System.Console.WriteLine(s_14.F1);
-    }
-
-    static S0 M15()
-    {
-        return s_4;
-    }
-}
diff --git a/examples/reduced/8403118652329864383.cs b/examples/reduced/8403118652329864383.cs
deleted file mode 100644
index dfc87346..00000000
--- a/examples/reduced/8403118652329864383.cs
+++ /dev/null
@@ -1,46 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 22:54:30
-// Seed: 8403118652329864383
-// Reduced from 222.7 KiB to 0.6 KiB
-// Debug: Outputs 5268
-// Release: Outputs 0
-struct S0
-{
-    public ushort F0;
-    public S0(ushort f0): this()
-    {
-        F0 = f0;
-    }
-}
-
-struct S1
-{
-    public byte F0;
-    public S0 F1;
-    public ushort F2;
-}
-
-struct S2
-{
-    public S1 F4;
-    public S0 F5;
-    public S2(S0 f5): this()
-    {
-        F5 = f5;
-    }
-}
-
-public class Program
-{
-    static S2 s_2 = new S2(new S0(5268));
-    public static void Main()
-    {
-        s_2.F4 = M14();
-        var vr32 = s_2.F5.F0;
-        System.Console.WriteLine(vr32);
-    }
-
-    static S1 M14()
-    {
-        return new S1();
-    }
-}
diff --git a/examples/reduced/9570928422850257620.cs b/examples/reduced/9570928422850257620.cs
deleted file mode 100644
index 9e68af83..00000000
--- a/examples/reduced/9570928422850257620.cs
+++ /dev/null
@@ -1,51 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 21:14:31
-// Seed: 9570928422850257620
-// Reduced from 50.3 KiB to 0.7 KiB
-// Debug: Outputs 10456
-// Release: Outputs 0
-struct S0
-{
-    public short F0;
-    public short F1;
-    public short F2;
-    public S0(short f0): this()
-    {
-        F0 = f0;
-    }
-}
-
-struct S1
-{
-    public S0 F6;
-    public S0 F7;
-    public S1(S0 f7): this()
-    {
-        F7 = f7;
-    }
-}
-
-class C1
-{
-    public S1 F2;
-    public C1(S1 f2)
-    {
-        F2 = f2;
-    }
-}
-
-public class Program
-{
-    static C1 s_4 = new C1(new S1(new S0(10456)));
-    static C1[] s_12 = new C1[]{new C1(new S1(new S0(0)))};
-    public static void Main()
-    {
-        s_12[0] = s_4;
-        s_12[0].F2.F6 = M8();
-        System.Console.WriteLine(s_4.F2.F7.F0);
-    }
-
-    static S0 M8()
-    {
-        return new S0(0);
-    }
-}
diff --git a/examples/reduced/9665896507812706987.cs b/examples/reduced/9665896507812706987.cs
deleted file mode 100644
index b6d909dd..00000000
--- a/examples/reduced/9665896507812706987.cs
+++ /dev/null
@@ -1,38 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 21:11:46
-// Seed: 9665896507812706987
-// Reduced from 103.0 KiB to 0.5 KiB
-// Debug: Outputs 11585
-// Release: Outputs 0
-struct S0
-{
-    public short F0;
-    public sbyte F2;
-    public ushort F3;
-}
-
-struct S1
-{
-    public S0 F1;
-    public short F2;
-    public S1(short f2): this()
-    {
-        F2 = f2;
-    }
-}
-
-public class Program
-{
-    static S1 s_15 = new S1(11585);
-    static S1 s_16;
-    public static void Main()
-    {
-        s_16 = s_15;
-        s_16.F1 = M25();
-        System.Console.WriteLine(s_16.F2);
-    }
-
-    static S0 M25()
-    {
-        return new S0();
-    }
-}
diff --git a/examples/reduced/9933518029073451065.cs b/examples/reduced/9933518029073451065.cs
deleted file mode 100644
index c3b56ac2..00000000
--- a/examples/reduced/9933518029073451065.cs
+++ /dev/null
@@ -1,46 +0,0 @@
-// Generated by Fuzzlyn on 2018-06-20 16:04:28
-// Seed: 9933518029073451065
-// Reduced from 287.9 KiB to 0.6 KiB
-// Debug: Outputs 1
-// Release: Outputs 0
-struct S0
-{
-    public sbyte F0;
-    public sbyte F1;
-    public bool F3;
-}
-
-struct S1
-{
-    public S0 F5;
-    public byte F6;
-    public S1(byte f6): this()
-    {
-        F6 = f6;
-    }
-}
-
-class C1
-{
-    public S1 F0;
-    public C1(S1 f0)
-    {
-        F0 = f0;
-    }
-}
-
-public class Program
-{
-    static S0 s_11;
-    static C1 s_18 = new C1(new S1(1));
-    public static void Main()
-    {
-        s_18.F0.F5 = M32();
-        System.Console.WriteLine(s_18.F0.F6);
-    }
-
-    static S0 M32()
-    {
-        return s_11;
-    }
-}