Uninitialized variable in generated pattern

[Georgios Andreadis]

    public static void pattern16(Weigher var0, Weigher var1, CacheBuilder var2, long var3) {
        CacheBuilder var5;
        if (var0 != null) {
            var5 = var2.weigher(var1);
        }

        var5.maximumWeight(var3);
    }

var5 here doesn't have to be initialized at the last line of the method, causing a java.lang.VerifyError during the EvoSuite run.