Predicate ConcatenationInLoops::declaredInLoop

predicate declaredInLoop(LocalVariableDecl v, LoopStmt loop)