Created attachment 54420 [details]
possible hack to fix
The sample .ppts from https://bugzilla.redhat.com/show_bug.cgi?id=755352 i.e. http://lara.epfl.ch/~kuncak/talks/ScalaZ3.ppsx blows up our stl debugging iterators.
"iterateActionClassifications" doesn't find anything so aFunctor.getBeginElement and aFunctor.getEndElement return the default ctored iterators.
plausible patch attached
Though this seems fixed (with the fixes around the broken text animation), applied the spirit of your fix, such that iterators are now properly initialized before doing math with them. Thanks for the catch!