New interpreter definition, improved program behavior definition