diff --git a/afl_transforms/tools/zax/zuntracer.cpp b/afl_transforms/tools/zax/zuntracer.cpp
index 3566c6b7e5c57539864b15ae73a0d6c15e4965a0..57219bb16ed3ef2e2e597bc3610e0cdb177b205c 100644
--- a/afl_transforms/tools/zax/zuntracer.cpp
+++ b/afl_transforms/tools/zax/zuntracer.cpp
@@ -60,7 +60,6 @@ void ZUntracer_t::_afl_instrument_bb(Instruction_t *p_inst, const bool p_redZone
 
 	auto tmp = p_inst;
 	auto tracemap_reg = string();
-	Instruction_t *orig = nullptr;
 	auto found_tracemap_free_register = false;
 
 	// 1st instruction in block record is the new entry point of the block (p_inst)
@@ -150,11 +149,6 @@ void ZUntracer_t::_afl_instrument_bb(Instruction_t *p_inst, const bool p_redZone
 		do_insert("lea rsp, [rsp+128]");
 	}
 
-	// record modified blocks, indexed by the block id
-	assert(orig);
-	assert(tmp->getFallthrough());
-	assert(orig == tmp->getFallthrough()); // sanity check invariant of transform
-
 	m_modifiedBlocks[blockid] = block_record;
 }