Incorporate branch information in OptPredicates.