Add get_node_index function to cfg_dominators

Author: smowton

jbmc/src/java_bytecode/java_local_variable_table.cpp

@@ -40,6 +40,7 @@ struct procedure_local_cfg_baset<
   typedef std::map<java_bytecode_convert_methodt::method_offsett,
                    java_bytecode_convert_methodt::method_offsett>
     entry_mapt;
+  typedef std::size_t entryt;
   entry_mapt entry_map;
 
   procedure_local_cfg_baset() {}

src/analyses/cfg_dominators.h

@@ -63,6 +63,12 @@ class cfg_dominators_templatet
     return cfg.get_node(program_point);
   }
 
+  /// Get the graph node index for \p program_point
+  typename cfgt::entryt get_node_index(const T &program_point) const
+  {
+    return cfg.get_node_index(program_point);
+  }
+
   /// Returns true if the program point corresponding to \p rhs_node is
   /// dominated by program point \p lhs. Saves node lookup compared to the
   /// dominates overload that takes two program points, so this version is