Test rawTerm support

Author: Baltoli

include/runtime/header.h

@@ -410,7 +410,7 @@ extern const uint32_t first_inj_tag, last_inj_tag;
 bool is_injection(block *);
 block *strip_injection(block *);
 block *constructKItemInj(void *subject, const char *sort, bool raw_value);
-block *constructRawTerm(void *subject, const char *sort);
+block *constructRawTerm(void *subject, const char *sort, bool raw_value);
 }
 
 std::string floatToString(const floating *);

runtime/util/ConfigurationSerializer.cpp

@@ -441,7 +441,7 @@ void serializeTermToFile(
 
 void serializeRawTermToFile(
     const char *filename, void *subject, const char *sort) {
-  block *term = constructRawTerm(subject, sort);
+  block *term = constructRawTerm(subject, sort, true);
 
   char *data;
   size_t size;
@@ -455,7 +455,7 @@ void serializeRawTermToFile(
 std::shared_ptr<kllvm::KOREPattern>
 sortedTermToKorePattern(block *subject, const char *sort) {
   auto is_kitem = (std::string(sort) == "SortKItem{}");
-  block *term = is_kitem ? subject : constructRawTerm(subject, sort);
+  block *term = is_kitem ? subject : constructRawTerm(subject, sort, false);
 
   char *data_out;
   size_t size_out;

runtime/util/util.cpp

@@ -35,7 +35,7 @@ block *constructKItemInj(void *subject, const char *sort, bool raw_value) {
   return static_cast<block *>(constructCompositePattern(tag, args));
 }
 
-block *constructRawTerm(void *subject, const char *sort) {
+block *constructRawTerm(void *subject, const char *sort, bool raw_value) {
   auto tag = getTagForSymbolName("rawTerm{}");
   auto args = std::vector{
       static_cast<void *>(constructKItemInj(subject, sort, true))};