Track predicates on alternate branches too