1 files changed, 7 insertions, 0 deletions
diff --git a/BCT/BytecodeTranslator/Program.cs b/BCT/BytecodeTranslator/Program.cs
index 22b64dca..cf758611 100644
--- a/BCT/BytecodeTranslator/Program.cs
+++ b/BCT/BytecodeTranslator/Program.cs
@@ -69,6 +69,13 @@ namespace BytecodeTranslator {
     [OptionDescription("Instrument branches with unique counter values", ShortForm = "ib")]
     public bool instrumentBranches = false;
 
+    [OptionDescription("Add free ensures that express heap monotonicity", ShortForm = "heapM")]
+    public bool monotonicHeap = false;
+
+    public enum Dereference { Assert, Assume, None, }
+    [OptionDescription("Assert/Assume on all object dereferences", ShortForm = "deref")]
+    public Dereference dereference = Dereference.Assume;
+
   }
 
   public class BCT {