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,18 @@ 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);
+      return *this;
+    }
   };
 
   /// A string node points to builtin_function on which it depends