addInstr and format in Assem.hs