Lines Matching defs:always_true_pred