diff --git a/intTests/test_jvm_setup_errors/test.saw b/intTests/test_jvm_setup_errors/test.saw
index 0b181367d0..eadafce504 100644
--- a/intTests/test_jvm_setup_errors/test.saw
+++ b/intTests/test_jvm_setup_errors/test.saw
@@ -345,7 +345,7 @@ check_fails test "lookup"
   };
 
 print "jvm_array_is with previous jvm_elem_is";
-KNOWN_FALSE_POSITIVE test "lookup"
+check_fails test "lookup"
   do {
     arr <- jvm_alloc_array 8 java_long;
     xs <- jvm_fresh_var "xs" (java_array 8 java_long);
diff --git a/src/SAWScript/Crucible/Common/MethodSpec.hs b/src/SAWScript/Crucible/Common/MethodSpec.hs
index 33c494fc0c..492d472086 100644
--- a/src/SAWScript/Crucible/Common/MethodSpec.hs
+++ b/src/SAWScript/Crucible/Common/MethodSpec.hs
@@ -24,7 +24,6 @@ Grow\", and is prevalent across the Crucible codebase.
 module SAWScript.Crucible.Common.MethodSpec where
 
 import           Data.Constraint (Constraint)
-import           Data.List (isPrefixOf)
 import           Data.Map (Map)
 import qualified Data.Map as Map
 import           Data.Void (Void)
@@ -286,8 +285,11 @@ testResolved val0 path0 rs = go path0 val0
         _                  -> False
 
     test _ Nothing = False
-    test path (Just paths) = any (`isPrefixOf` path) paths
+    test path (Just paths) = any (overlap path) paths
 
+    overlap (x : xs) (y : ys) = x == y && overlap xs ys
+    overlap [] _ = True
+    overlap _ [] = True
 
 --------------------------------------------------------------------------------
 -- *** Extension-specific information