Lines Matching refs:getNegativeSCEV