Interpreter for new transition system