Avoid some false positive in allows()

It saves about 10% of the wrong true in the specific condition.