Mark regression tests as expecting failure for symex driven loading

Currently the regression tests fail with symex driven lazy loading due to a
difference in generated properties.

Author: Matthias Güdemann

jbmc/regression/jbmc/enum_switch/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE symex-driven-lazy-loading-expected-failure
 com/diffblue/regression/Foo.class
 --trace --cover location --depth 1024 --java-max-vla-length 16 --refine-strings --max-nondet-string-length 20 --string-printable --unwind 10 --function "com.diffblue.regression.Foo.foo" --java-unwind-enum-static
 line 8.*SATISFIED

jbmc/regression/jbmc/enum_values_clone/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE symex-driven-lazy-loading-expected-failure
 com/diffblue/regression/EnumIter.class
 --trace  --cover location --depth 1024  --java-max-vla-length 16 --refine-strings --max-nondet-string-length 20 --string-printable --unwind 2 --function "com.diffblue.regression.EnumIter.f" --java-unwind-enum-static
 \d+ of \d+ covered \(100\.0%\)

jbmc/regression/jbmc/enum_values_clone_name/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE symex-driven-lazy-loading-expected-failure
 com/diffblue/regression/EnumIter.class
 --trace --cover location --depth 1024 --java-max-vla-length 16 --refine-strings --max-nondet-string-length 20 --string-printable --unwind 2 --function "com.diffblue.regression.EnumIter.f" --java-unwind-enum-static
 \d+ of \d+ covered \(100\.0%\)