Revert "Fix iterator equality check bug in dependence_graph.cpp"

This reverts commit e0605b7.

Author: martin

src/analyses/dependence_graph.cpp

@@ -188,17 +188,18 @@ void dep_graph_domaint::transform(
   goto_programt::const_targett to,
   ai_baset &ai,
   const namespacet &ns,
-  ai_domain_baset::edge_typet edge_type)
+  ai_domain_baset::edge_typet /*edge_type*/)
 {
   dependence_grapht *dep_graph=dynamic_cast<dependence_grapht*>(&ai);
   assert(dep_graph!=nullptr);
 
   // propagate control dependencies across function calls
   if(from->is_function_call())
   {
-    const goto_programt::const_targett next = std::next(from);
+    goto_programt::const_targett next=from;
+    ++next;
 
-    if(edge_type == ai_domain_baset::edge_typet::FUNCTION_LOCAL)
+    if(next==to)
     {
       control_dependencies(from, to, *dep_graph);
     }