Skip if the two sequences to the right have different shapes: (ععع) (ععع).
Test passes if NONE of the Arabic base characters in the top box join, making the base characters in the two boxes identical.

عَع عّع
ع‌‌َ‌‌ع ع‌‌ّ‌‌ع

Assertion: [exploratory] Shaping IS BROKEN when margin is set to a non-zero value on an intervening diacritic.