Fix for wrongly formatted input xml files (e.g., find-sec-bugs with STATIC_IV).