Satisfy clang-format requirements for changed files

Author: NlightNFotis

src/goto-symex/shadow_memory_util.cpp

@@ -22,7 +22,6 @@ Author: Peter Schrammel
 #include <util/ssa_expr.h>
 #include <util/std_expr.h>
 
-
 // TODO: change DEBUG_SM to DEBUG_SHADOW_MEMORY (it also appears in other files)
 
 irep_idt extract_field_name(const exprt &string_expr)

src/pointer-analysis/value_set_dereference.cpp

@@ -665,14 +665,13 @@ value_set_dereferencet::valuet value_set_dereferencet::build_reference_to(
     if(memory_model(result.value, dereference_type, offset, ns))
     {
       // set pointer correctly
-      result.pointer =
-        typecast_exprt::conditional_cast(
-          plus_exprt(
-            typecast_exprt(
-              result.pointer,
-              pointer_typet(char_type(), pointer_type.get_width())),
-            offset),
-          pointer_type);
+      result.pointer = typecast_exprt::conditional_cast(
+        plus_exprt(
+          typecast_exprt(
+            result.pointer,
+            pointer_typet(char_type(), pointer_type.get_width())),
+          offset),
+        pointer_type);
     }
     else
     {