diff --git a/rust-lite/src/rust_lite/__main__.py b/rust-lite/src/rust_lite/__main__.py
index d0b28ac..d40237c 100644
--- a/rust-lite/src/rust_lite/__main__.py
+++ b/rust-lite/src/rust_lite/__main__.py
@@ -35,7 +35,7 @@ def main() -> None:
     stripped_args = toml_args | {
         key: val for (key, val) in vars(args).items() if val is not None and not (isinstance(val, Iterable) and not val)
     }
-    print(stripped_args)
+
     options = generate_options(stripped_args)
 
     executor_name = 'exec_' + args.command.lower().replace('-', '_')
@@ -57,7 +57,7 @@ def exec_run(options: RunOptions) -> None:
 
     module_manager.load_program(contract_path)
 
-    print('Program loaded; Trying to fetch the content of the K cell.')
+    print('Performed all possible rewriting operations; Trying to fetch the content of the K cell.')
 
     module_manager.fetch_k_cell_content()
 
diff --git a/rust-lite/src/rust_lite/manager.py b/rust-lite/src/rust_lite/manager.py
index 9b217ed..d875fd8 100644
--- a/rust-lite/src/rust_lite/manager.py
+++ b/rust-lite/src/rust_lite/manager.py
@@ -45,6 +45,8 @@ def load_program(self, program_path: str) -> None:
         
 
     def fetch_k_cell_content(self):
+        print('--------------------------------------------------')
+        print('K CELL CONTENTS: ')
         cell = self.cterm.cell('K_CELL')
         _PPRINT.pprint(cell)
         return cell