diff --git a/test/libsolidity/smtCheckerTests/typecast/function_type_to_address.sol b/test/libsolidity/smtCheckerTests/typecast/function_type_to_address.sol
deleted file mode 100644
index c0b7d109d..000000000
--- a/test/libsolidity/smtCheckerTests/typecast/function_type_to_address.sol
+++ /dev/null
@@ -1,10 +0,0 @@
-pragma experimental SMTChecker;
-contract C {
-    function f(address a, function(uint) external g) internal pure {
-		address b = address(g);
-		assert(a == b);
-    }
-}
-// ----
-// Warning: (128-138): Type conversion is not yet fully supported and might yield false positives.
-// Warning: (142-156): Assertion violation happens here
diff --git a/test/libsolidity/smtCheckerTests/types/function_type_external_address.sol b/test/libsolidity/smtCheckerTests/types/function_type_external_address.sol
new file mode 100644
index 000000000..5f10ccf59
--- /dev/null
+++ b/test/libsolidity/smtCheckerTests/types/function_type_external_address.sol
@@ -0,0 +1,10 @@
+pragma experimental SMTChecker;
+contract C {
+    function f(address a, function(uint) external g) internal pure {
+		address b = g.address;
+		assert(a == b);
+    }
+}
+// ----
+// Warning: (128-137): Assertion checker does not yet support this expression.
+// Warning: (141-155): Assertion violation happens here