diff --git a/src/main/java/com/android/tools/r8/ir/analysis/equivalence/BasicBlockBehavioralSubsumption.java b/src/main/java/com/android/tools/r8/ir/analysis/equivalence/BasicBlockBehavioralSubsumption.java
index 8d2d7fc..d93664a 100644
--- a/src/main/java/com/android/tools/r8/ir/analysis/equivalence/BasicBlockBehavioralSubsumption.java
+++ b/src/main/java/com/android/tools/r8/ir/analysis/equivalence/BasicBlockBehavioralSubsumption.java
@@ -66,10 +66,15 @@
       }
     }
     if (assumptionUses != null) {
+      Value indirectConditionValue =
+          conditionValue.isDefinedByInstructionSatisfying(Instruction::isInstanceOf)
+              ? conditionValue.getDefinition().asInstanceOf().value()
+              : null;
       while (assumptionUses.hasNext()) {
         Assume next = assumptionUses.next();
         for (Value assumptionArgument : next.inValues()) {
-          if (assumptionArgument == conditionValue) {
+          if (assumptionArgument == conditionValue
+              || assumptionArgument == indirectConditionValue) {
             return true;
           }
           Assume indirectAssumption =