Logging update: TAC text of instructions is also logged into file