Replacement Map missing in XML output

[ffrohn]

It seems like the replacement map is not printed to XML for context sensitive systems, see src/XTC/Write.hs:

<signature>
  $forall f <- D.signature rs
    <funcsym>
      <name>#{T.pack $ show f}
      <arity>#{T.pack $ show $ D.arity f}

I observed this when using haskell-tpdb as library here.

[ffrohn]

Similarly, theory-declarations for equational rewriting are missing as well.