diff --git a/include/analysis.h b/include/analysis.h
index 875c0ed..5448652 100644
--- a/include/analysis.h
+++ b/include/analysis.h
@@ -105,6 +105,7 @@ class ControlNode {
     // Dynamically cast node to a specified type.
     // If type does not match null is returned.
     template<class T> T* cast();
+    template<class T> const T* cast() const;
 
     uint32_t getIndex() const { return m_index; }
 
@@ -484,6 +485,7 @@ template<> PushBlockNode* ControlNode::cast<PushBlockNode>();
 template<> PushBlockNode* ControlGraph::newNode<PushBlockNode>();
 
 template<> BranchNode* ControlNode::cast<BranchNode>();
+template<> const BranchNode* ControlNode::cast<BranchNode>() const;
 template<> BranchNode* ControlGraph::newNode<BranchNode>();
 
 class DomainVisitor {
diff --git a/src/ControlGraph.cpp b/src/ControlGraph.cpp
index b96c423..1e39dec 100644
--- a/src/ControlGraph.cpp
+++ b/src/ControlGraph.cpp
@@ -57,6 +57,10 @@ template<> BranchNode* ControlNode::cast<BranchNode>() {
     return 0;
 }
 
+template<> const BranchNode* ControlNode::cast<BranchNode>() const {
+    return const_cast<ControlNode*>(this)->cast<BranchNode>();
+}
+
 template<> BranchNode* ControlGraph::newNode<BranchNode>() {
     BranchNode* const node = new BranchNode(m_lastNodeIndex++);
     m_nodes.push_back(node);