From 448c6e03ec44b977027fe0bad44738190acbd8f4 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Tue, 23 Oct 2018 16:46:06 -0400
Subject: [PATCH] Define a binary tree datatype.

---
 src/Analysis/Abstract/Caching/FlowInsensitive.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Analysis/Abstract/Caching/FlowInsensitive.hs b/src/Analysis/Abstract/Caching/FlowInsensitive.hs
index 19f15734f..04fac52db 100644
--- a/src/Analysis/Abstract/Caching/FlowInsensitive.hs
+++ b/src/Analysis/Abstract/Caching/FlowInsensitive.hs
@@ -147,6 +147,9 @@ caching
   . raiseHandler (runReader lowerBound)
   . raiseHandler runNonDet
 
+data B a = B (B a) (B a) | L a | E
+  deriving (Foldable, Functor, Traversable)
+
 
 -- | A map of 'Configuration's to 'Set's of resulting values & 'Heap's.
 newtype Cache term address = Cache { unCache :: Monoidal.Map (Configuration term address) (Set (ValueRef address)) }