Lines Matching refs:SpecPreds