diff --git a/Cargo.toml b/Cargo.toml
index 95e575af2..ce2507c8c 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -21,7 +21,6 @@ members = [
     "linker",
     "asm_utils",
     "airgen",
-    "type_check",
     "riscv_executor",
 ]
 
diff --git a/analysis/src/lib.rs b/analysis/src/lib.rs
index cffd11279..efaae39fb 100644
--- a/analysis/src/lib.rs
+++ b/analysis/src/lib.rs
@@ -1,7 +1,7 @@
 #![deny(clippy::print_stdout)]
 
 mod block_enforcer;
-mod machine_check;
+pub mod machine_check;
 mod vm;
 
 use ast::{asm_analysis::AnalysisASMFile, parsed::asm::ASMProgram, DiffMonitor};
@@ -60,15 +60,3 @@ pub mod utils {
             .unwrap()
     }
 }
-
-#[cfg(test)]
-mod test_util {
-    use ast::asm_analysis::AnalysisASMFile;
-    use importer::load_dependencies_and_resolve_str;
-    use number::FieldElement;
-
-    /// A test utility to process a source file until after type checking
-    pub fn typecheck_str<T: FieldElement>(source: &str) -> Result<AnalysisASMFile<T>, Vec<String>> {
-        analysis::machine_check::check(load_dependencies_and_resolve_str(source))
-    }
-}
diff --git a/analysis/src/machine_check.rs b/analysis/src/machine_check.rs
index 2941e02ea..9bf4d8c74 100644
--- a/analysis/src/machine_check.rs
+++ b/analysis/src/machine_check.rs
@@ -348,7 +348,7 @@ mod tests {
     use importer::load_dependencies_and_resolve_str;
     use number::Bn254Field;
 
-    use crate::check;
+    use super::check;
 
     // A utility to test behavior of the type checker on source inputs
     // TODO: test returned values, not just success
diff --git a/analysis/src/vm/mod.rs b/analysis/src/vm/mod.rs
index d7fc8b4c9..9748e26a1 100644
--- a/analysis/src/vm/mod.rs
+++ b/analysis/src/vm/mod.rs
@@ -25,23 +25,18 @@ pub(crate) fn analyze<T: FieldElement>(
 
 #[cfg(test)]
 mod test_utils {
-    use crate::test_util::typecheck_str;
-
     use super::*;
 
     /// A test utility to process a source file until after inference
     pub fn infer_str<T: FieldElement>(source: &str) -> Result<AnalysisASMFile<T>, Vec<String>> {
-        inference::infer(typecheck_str(source).unwrap())
+        let machines =
+            crate::machine_check::check(importer::load_dependencies_and_resolve_str(source))
+                .unwrap();
+        inference::infer(machines)
     }
 
     /// A test utility to process a source file until after batching
     pub fn batch_str<T: FieldElement>(source: &str) -> AnalysisASMFile<T> {
         batcher::batch(infer_str(source).unwrap())
     }
-
-    /// A test utility to process a source file until after asm to pil reduction
-    #[allow(dead_code)]
-    pub fn asm_to_pil_str<T: FieldElement>(source: &str) -> AnalysisASMFile<T> {
-        asm_to_pil::compile(batch_str(source))
-    }
 }
diff --git a/asm_to_pil/src/romgen.rs b/asm_to_pil/src/romgen.rs
index 44cec5c7c..f6150409f 100644
--- a/asm_to_pil/src/romgen.rs
+++ b/asm_to_pil/src/romgen.rs
@@ -257,7 +257,7 @@ mod tests {
         src: &str,
     ) -> BTreeMap<AbsoluteSymbolPath, (Machine<T>, Option<Rom<T>>)> {
         let parsed = parser::parse_asm(None, src).unwrap();
-        let checked = type_check::check(parsed).unwrap();
+        let checked = analysis::machine_check::check(parsed).unwrap();
         checked
             .items
             .into_iter()