- i -

• incProclevel() : Context
• increment() : SOI
• insert() : SOD
• Interpreter() : Interpreter
• invariant() : Context, DbC, Interpreter, SOA, SOD, SOK, SON, SOO, SOS