Implementation of the Henshin interpreter.