Add tests for static fields with references to primitive wrappers

In this case, the values are represented as simple JSON numbers,
booleans or strings. This did not work before the recent fix for
primitive wrapper types.

Author: antlechner

jbmc/regression/jbmc/deterministic_assignments_json/ContainerForBoolean.class

@@ -0,0 +1,4 @@
+public class ContainerForBoolean {
+  public Boolean booleanField;
+  public ContainerForBoolean(Boolean b) { booleanField = b; }
+}

jbmc/regression/jbmc/deterministic_assignments_json/ContainerForBoolean.java

@@ -0,0 +1,4 @@
+public class ContainerForByte {
+  public Byte byteField;
+  public ContainerForByte(Byte b) { byteField = b; }
+}

jbmc/regression/jbmc/deterministic_assignments_json/ContainerForByte.class

@@ -0,0 +1,4 @@
+public class ContainerForCharacter {
+  public Character characterField;
+  public ContainerForCharacter(Character c) { characterField = c; }
+}

jbmc/regression/jbmc/deterministic_assignments_json/ContainerForByte.java

@@ -0,0 +1,4 @@
+public class ContainerForDouble {
+  public Double doubleField;
+  public ContainerForDouble(Double d) { doubleField = d; }
+}

jbmc/regression/jbmc/deterministic_assignments_json/ContainerForCharacter.class

@@ -0,0 +1,4 @@
+public class ContainerForFloat {
+  public Float floatField;
+  public ContainerForFloat(Float f) { floatField = f; }
+}