Update a unit test that makes use of a custom value set to use the new API

Author: martin

jbmc/unit/pointer-analysis/custom_value_set_analysis.cpp

@@ -198,13 +198,17 @@ SCENARIO("test_value_set_analysis",
 
     value_set_analysist normal_analysis(ns);
     normal_analysis(goto_model);
+    const auto normal_function_end_dom =
+      normal_analysis.abstract_state_before(test_function_end);
     const auto &normal_function_end_vs=
-      normal_analysis[test_function_end].value_set;
+      std::dynamic_pointer_cast<const value_set_domain_templatet<value_sett>>(normal_function_end_dom)->value_set;
 
     test_value_set_analysist test_analysis(ns);
     test_analysis(goto_model);
+    const auto test_function_end_dom =
+      test_analysis.abstract_state_before(test_function_end);
     const auto &test_function_end_vs=
-      test_analysis[test_function_end].value_set;
+      std::dynamic_pointer_cast<const value_set_domain_templatet<test_value_sett>>(test_function_end_dom)->value_set;
 
     reference_typet jlo_ref_type=java_lang_object_type();