Fix false negative in [match_overlapping_arms
]
#7909
+72
−25
Merged