in Simplif.emit_tail_infos, only emit annotations if required