privat/nit — pull request #801 by privat (2014-10-01 17:38:16+00:00)
Title: Niti: small refactoring

Some small improvements in the interpreter code infrastructure.