Include function call arguments in variable sensitivity dependency graph

Author: chrisr-diffblue

src/analyses/variable-sensitivity/variable_sensitivity_dependence_graph.cpp

@@ -74,6 +74,15 @@ void variable_sensitivity_dependence_grapht::transform(
 
     eval_data_deps(inst.rhs(), ns, domain_data_deps);
   }
+  else if (to->is_function_call())
+  {
+    const code_function_callt &call = to_code_function_call(to->code);
+    const code_function_callt::argumentst &args= call.arguments();
+    for(const auto arg : args)
+    {
+      eval_data_deps(arg, ns, domain_data_deps);
+    }
+  }
 }
 
 /**