add complete lifted sets

1 files changed, 3 insertions, 0 deletions

diff --git a/src/ast.rs b/src/ast.rs
index 24c7125..9108b97 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -108,6 +108,9 @@ pub struct ElemAssign {
 
 #[derive(Clone, PartialEq, Display, Debug)]
 pub enum Element {
+    #[display{"element-of({_0})"}]
+    ClaimedElement(Box<Instance>),
+
     #[display("{_0}")]
     Literal(Literal),