add label attribute to blocks, ir_prog