improve Purification criterion (`F` cannot be shielded by `F t1…tn`)
improve Purification criterion (`F` cannot be shielded by `F t1…tn`)

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition