diff --git a/src/Z3/Z3IntSort.class.st b/src/Z3/Z3IntSort.class.st
index 4a353999a..f3d954ea1 100644
--- a/src/Z3/Z3IntSort.class.st
+++ b/src/Z3/Z3IntSort.class.st
@@ -14,6 +14,11 @@ Z3IntSort >> cast: val [
 	^val toInt
 ]
 
+{ #category : #testing }
+Z3IntSort >> isIntSort [
+	^ true
+]
+
 { #category : #'type theory' }
 Z3IntSort >> nodeClass [
 	^ Int
diff --git a/src/Z3/Z3Sort.class.st b/src/Z3/Z3Sort.class.st
index cbddef489..bf258e9ea 100644
--- a/src/Z3/Z3Sort.class.st
+++ b/src/Z3/Z3Sort.class.st
@@ -94,6 +94,11 @@ Z3Sort >> isBoolSort [
 	^ false
 ]
 
+{ #category : #testing }
+Z3Sort >> isIntSort [
+	^ false
+]
+
 { #category : #accessing }
 Z3Sort >> kind [
 	^ SORT_AST