diff --git a/util/util.gobra b/util/util.gobra
index 2357870..49ef81b 100644
--- a/util/util.gobra
+++ b/util/util.gobra
@@ -16,9 +16,6 @@ package util
 
 type Unit struct{}
 
-// Useful for marking functions as never called, by putting it in the precondition
-const Uncallable bool = false
-
 ghost
 requires false
 decreases
@@ -26,11 +23,6 @@ pure func Unreachable() Unit {
 	return Unit{}
 }
 
-ghost
-ensures false
-decreases
-func IgnoreBranch()
-
 ghost
 ensures false
 decreases