Condition 3: p2.p4.p8 = 0 or A(p2)!=1

This condition prevents patterns like the following from being completely erased:

Condition 3: p2.p4.p6 = 0 or A(p4)!=1

This condition prevents patterns like the following from beign completely erased: