fix: use String for predicate body

Author: coeff-aij

src/analyze/local_def.rs

@@ -137,7 +137,7 @@ impl<'tcx, 'ctx> Analyzer<'tcx, 'ctx> {
         let body_id = hir_map.maybe_body_owned_by(local_def_id).unwrap();
         let hir_body = hir_map.body(body_id);
 
-        let command = match hir_body.value {
+        let predicate_body = match hir_body.value {
             Expr {
                 kind: ExprKind::Block(Block { stmts, .. }, _),
                 ..
@@ -166,7 +166,7 @@ impl<'tcx, 'ctx> Analyzer<'tcx, 'ctx> {
         self.ctx.system.borrow_mut().push_pred_define(
             chc::UserDefinedPred::new(pred_name),
             chc::UserDefinedPredSig::from(arg_name_and_sorts),
-            chc::RawCommand { command },
+            predicate_body,
         );
     }
 

src/chc.rs

@@ -1706,7 +1706,7 @@ pub type UserDefinedPredSig = Vec<(String, Sort)>;
 pub struct UserDefinedPredDef {
     symbol: UserDefinedPred,
     sig: UserDefinedPredSig,
-    body: RawCommand,
+    body: String,
 }
 
 /// A CHC system.
@@ -1732,7 +1732,7 @@ impl System {
         &mut self,
         symbol: UserDefinedPred,
         sig: UserDefinedPredSig,
-        body: RawCommand,
+        body: String,
     ) {
         self.user_defined_pred_defs
             .push(UserDefinedPredDef { symbol, sig, body })

src/chc/smtlib2.rs

@@ -579,7 +579,7 @@ impl<'ctx, 'a> std::fmt::Display for UserDefinedPredDef<'ctx, 'a> {
             f,
             "(define-fun {name} {params} Bool {body})",
             name = self.inner.symbol,
-            body = RawCommand::new(&self.inner.body),
+            body = &self.inner.body,
         )
     }
 }