sameIteratorExpression
ftp://ftp.de.debian.org/debian/pool/main/c/cbmc/cbmc_5.12.orig.tar.gz
cbmc-cbmc-5.12/src/goto-programs/goto_program.h:591:31: style: Same iterators expression are used for algorithm. [sameIteratorExpression]