diff --git a/scripts/ASTImportTest.sh b/scripts/ASTImportTest.sh
index c24526195..53bdaa3d5 100755
--- a/scripts/ASTImportTest.sh
+++ b/scripts/ASTImportTest.sh
@@ -209,7 +209,15 @@ esac
 # boost_filesystem_bug specifically tests a local fix for a boost::filesystem
 # bug. Since the test involves a malformed path, there is no point in running
 # tests on it. See https://github.com/boostorg/filesystem/issues/176
-IMPORT_TEST_FILES=$(find "${TEST_DIRS[@]}" -name "*.sol" -and -not -name "boost_filesystem_bug.sol" -not -path "*/experimental/*")
+# In addition, exclude all experimental Solidity tests (new type inference system)
+EXCLUDE_FILES=(
+  boost_filesystem_bug.sol
+  pragma_experimental_solidity.sol
+)
+IMPORT_TEST_FILES=$(find "${TEST_DIRS[@]}" -name "*.sol" -and $(printf "! -name %s " ${EXCLUDE_FILES[@]}) -not -path "*/experimental/*")
+
+echo $IMPORT_TEST_FILES
+exit
 
 NSOURCES="$(echo "${IMPORT_TEST_FILES}" | wc -l)"
 echo "Looking at ${NSOURCES} .sol files..."
diff --git a/test/libsolidity/semanticTests/experimental/stub.sol b/test/libsolidity/semanticTests/experimental/stub.sol
index 7f3061fe7..f575a1b89 100644
--- a/test/libsolidity/semanticTests/experimental/stub.sol
+++ b/test/libsolidity/semanticTests/experimental/stub.sol
@@ -85,6 +85,8 @@ contract C {
 	}
 }
 // ====
+// EVMVersion: >=constantinople
+// ====
 // compileViaYul: true
 // ----
 // (): 0 -> 0