val pp_matita_instruction: [< ASM.labelled_instruction] -> string