diff --git a/src/TPDB/Plain/Write.hs b/src/TPDB/Plain/Write.hs
--- a/src/TPDB/Plain/Write.hs
+++ b/src/TPDB/Plain/Write.hs
@@ -60,8 +60,19 @@
         ]
 
 instance ( Pretty s, Pretty r, Variables (Term s r) ) => Pretty ( Problem s r ) where
-    pretty p = vcat
-       [ pretty $ trs p 
+    pretty p =
+      let rms = case full_signature p of
+            HigherOrderSignature -> []
+	    Signature fs -> do
+	      f <- fs
+	      case fs_replacementmap f of
+	        Nothing -> []
+	        Just (Replacementmap ps) ->
+	          return $ parens $ sep $ pretty (fs_name f) : map pretty ps
+      in  vcat
+       [ pretty $ trs p
+       , if null rms then empty
+         else parens $ sep $ "STRATEGY" : "CONTEXTSENSITIVE" : rms
        , case strategy p of  
              Nothing -> empty
              Just s -> sep [ "strategy"
diff --git a/tpdb.cabal b/tpdb.cabal
--- a/tpdb.cabal
+++ b/tpdb.cabal
@@ -1,7 +1,7 @@
-Cabal-Version: 3.0
+Cabal-Version: 2.4
 
 Name: tpdb
-Version: 2.2.2
+Version: 2.3.0
 
 Author: Alexander Bau, Johannes Waldmann
 Maintainer: Johannes Waldmann