- i -

• ID_SEPARATOR : identifier.h
• IN_BASE_CASE : utils.h
• IN_LOOP_HAVOC_BLOCK : utils.h
• INCLUDED_VIA_USE_CATCH_H : use_catch.h
• inflate : miniz.h
• inflateEnd : miniz.h
• inflateInit : miniz.h
• inflateInit2 : miniz.h
• INFLIGHT_EXCEPTION_VARIABLE_BASENAME : remove_exceptions.h
• INFLIGHT_EXCEPTION_VARIABLE_NAME : remove_exceptions.h
• INIT_INVARIANT : utils.h
• INITIALIZE_FUNCTION : static_lifetime_init.h
• internal_state : miniz.h
• INVARIANT : invariant.h
• INVARIANT_STRUCTURED : invariant.h
• INVARIANT_WITH_DIAGNOSTICS : invariant.h
• INVARIANT_WITH_IREP : invariant_utils.h
• IREP_HASH_BASIC : irep_hash.h
• IREP_ID_ONE : irep_ids.cpp , irep_ids.h
• IREP_ID_TWO : irep_ids.cpp , irep_ids.h