Tools for debugging high-level optimizer