Xavier Routh
--- a/hercules_opt/src/editor.rs
+++ b/hercules_opt/src/editor.rs
    }
 }

+pub type DenseNodeMap<T> = Vec<T>;
+pub type SparseNodeMap<T> = HashMap<NodeID, T>;
+
+nest! {
+// Is this something editor should give... Or is it just for analyses. 
--- a/juno_scheduler/src/pm.rs
+++ b/juno_scheduler/src/pm.rs
        }
+        Pass::Serialize => {
+            // FIXME: How to get module name here?
+            let output_file = "out.hbin";
+            let module = pm.clone().get_module().clone();
+            let module_contents: Vec<u8> = postcard::to_allocvec(&module).unwrap();
+            let mut file =
+                File::create(&output_file).expect("PANIC: Unable to open output module file.");
+            file.write_all(&module_contents)
+                .expect("PANIC: Unable to write output module file contents.");
+        }
+        Pass::ForkSplit => {
+            assert!(args.is_empty());
+            // FIXME: I'm not sure if this is the correct way to build fixpoint into the PM,
+            // i.e cloning selection. Does something need to be done to propagate labels between iterations
+            // of this loop?