Anomaly in the pretty-printer

[strub]

Can be reproduced with:

theory T.
  abstract theory U.
    op foo : bool.
  end U.

  clone U as U64.
end T.

print T.U.