Fix predicate dependency bug for multiple not P