Set sufficiented-flag when optimising branch in predicate.