Likely Bugs/Collections/IteratorRemoveMayFail.ql