Lines Matching defs:getNegativeSCEV