| T.Change (u, _, None, _, _) :: l ->
F.fprintf frm "\\Change{%a}{}{%a}" xat u xl l
| T.Change (u, _, Some (s, _), _, _) :: l ->
| T.Change (u, _, None, _, _) :: l ->
F.fprintf frm "\\Change{%a}{}{%a}" xat u xl l
| T.Change (u, _, Some (s, _), _, _) :: l ->