Super-Optimize IR
Next: need to write an IR read method in a task