Add move constructors to builtin_function_nodet

Because of some issues with Visual Studio these need to be defined.

Author: romainbrenguier

src/solvers/refinement/string_refinement_util.h

@@ -164,6 +164,17 @@ class string_dependenciest
       : index(i), data(std::move(d))
     {
     }
+
+    builtin_function_nodet(builtin_function_nodet &&other)
+    : index(other.index), data(std::move(other.data))
+    {
+    }
+
+    builtin_function_nodet &operator=(builtin_function_nodet &&other)
+    {
+      index = other.index;
+      data = std::move(other.data);
+    }
   };
 
   /// A string node points to builtin_function on which it depends