Remove special case for "-"

Author: geo2a

kore/src/Kore/Rewrite/SMT/Translate.hs

@@ -539,12 +539,6 @@ backTranslateWith
             , Just koreSym <- Map.lookup fct reverseMetadata = do
                 args <- mapM backTranslate rest
                 pure $ TermLike.mkApplySymbol koreSym args
-            | ((Atom "-") : rest) <- xs =
-                do
-                    args <- mapM backTranslate rest
-                    -- FIXME use the unary minus from reverseMetadata, make sure it's there,
-                    --       and don't use head
-                    pure (head args)
             | otherwise =
                 throwError "backTranslate.List-case: implement me!"
         backTranslate String{} =