Static detection of asymptotic performance bugs in collection traversals