diff --git a/pom.xml b/pom.xml
index 7ca2d2a..5cb64a2 100644
--- a/pom.xml
+++ b/pom.xml
@@ -5,7 +5,7 @@
org.vorpal.research
kex-intrinsics
- 0.1.1
+ 0.1.2
jar
org.vorpal.research kex-intrinsics
diff --git a/src/main/kotlin/org/vorpal/research/kex/intrinsics/AssertIntrinsics.kt b/src/main/kotlin/org/vorpal/research/kex/intrinsics/AssertIntrinsics.kt
index 2160c89..df92473 100644
--- a/src/main/kotlin/org/vorpal/research/kex/intrinsics/AssertIntrinsics.kt
+++ b/src/main/kotlin/org/vorpal/research/kex/intrinsics/AssertIntrinsics.kt
@@ -72,6 +72,21 @@ object AssertIntrinsics {
@JvmStatic
inline fun kexAssert(id: String, condition: Boolean) {}
+ /**
+ * Assumes that the given object @param is null
+ * */
+ @JvmStatic
+ fun kexAssertNull(value: T?): T {
+ return value ?: throw NullPointerException()
+ }
+
+ /**
+ * Assumes that the given object @param is null
+ * */
+ @JvmStatic
+ fun kexAssertNotNull(value: T?): T {
+ return value ?: throw NullPointerException()
+ }
/**
* Checks if the call cite is unreachable