Improve IR interpreter