Lines Matching refs:isLoopInvariant