Referenced by convert_control_dep_chain_into_preds(), dump_predicates(), find_matching_predicate_in_rest_chains(), is_pred_expr_subset_of(), normalize_preds(), pred_chain_length_cmp(), and use_pred_not_overlap_with_undef_path_pred().