Added empty return statement
IRInst struct added and Notes on IR generation