1 files changed, 16 insertions, 0 deletions
diff --git a/src/rewriter/node.py b/src/rewriter/node.py
index 458ba7c03..8676cac00 100644
--- a/src/rewriter/node.py
+++ b/src/rewriter/node.py
@@ -90,6 +90,8 @@ class Op(Enum):
 
     EQ = auto()
     ITE = auto()
+    LAMBDA = auto()
+    BOUND_VARS = auto()
 
     ###########################################################################
     # Strings
@@ -197,6 +199,20 @@ class Sort(Node):
         return self.base == BaseSort.Int
 
 
+class Placeholder(Node):
+    def __init__(self):
+        super().__init__([], None)
+
+    def __eq__(self, other):
+        return isinstance(other, Placeholder)
+
+    def __hash__(self):
+        return hash('_')
+
+    def __repr__(self):
+        return '_'
+
+
 class Var(Node):
     def __init__(self, name, sort=None):
         super().__init__([], sort)