Test we don't call static initialisers unnecessarily

Previously we couldn't properly track when we had definitely already called
them.

Author: owen-mc-diffblue

jbmc/regression/jbmc/symex_can_track_when_clinits_have_definitely_been_run/ClassWithStaticInit.class

@@ -0,0 +1,7 @@
+public class ClassWithStaticInit {
+  public static int x;
+
+  static { x = 42; }
+
+  public static int getStaticValue() { return x; }
+}

jbmc/regression/jbmc/symex_can_track_when_clinits_have_definitely_been_run/ClassWithStaticInit.java

@@ -0,0 +1,17 @@
+public class Test {
+  public static void test(boolean b) {
+    int x;
+    if (b) {
+      x = ClassWithStaticInit.getStaticValue();
+    }
+    x = ClassWithStaticInit.getStaticValue();
+    x = ClassWithStaticInit.getStaticValue();
+    x = ClassWithStaticInit.getStaticValue();
+    x = ClassWithStaticInit.getStaticValue();
+    x = ClassWithStaticInit.getStaticValue();
+    x = ClassWithStaticInit.getStaticValue();
+    x = ClassWithStaticInit.getStaticValue();
+    x = ClassWithStaticInit.getStaticValue();
+    assert (false);
+  }
+}

jbmc/regression/jbmc/symex_can_track_when_clinits_have_definitely_been_run/Test.class

@@ -0,0 +1,16 @@
+CORE
+Test.class
+--function Test.test --show-vcc
+^EXIT=0$
+^SIGNAL=0$
+--
+java::ClassWithStaticInit::clinit_already_run#10
+^warning: ignoring
+--
+After the second call to ClassWithStaticInit.getStaticValue(), symex should know
+that java::ClassWithStaticInit::clinit_already_run is true, and hence the static
+initialiser doesn't need to be run again. It's quite hard to check this in a
+test, so we check that the generation of
+java::ClassWithStaticInit::clinit_already_run doesn't get too high despite many
+calls to ClassWithStaticInit.getStaticValue(). Hopefully this isn't brittle to
+small changes in how often generations are updated.