diff --git a/frontend/llvm/src/ikos_pp.cpp b/frontend/llvm/src/ikos_pp.cpp
index 047cc9ec..2804bda3 100644
--- a/frontend/llvm/src/ikos_pp.cpp
+++ b/frontend/llvm/src/ikos_pp.cpp
@@ -266,12 +266,12 @@ int main(int argc, char** argv) {
     // Dead code elimination (opt -dce)
     pass_manager.add(llvm::createDeadCodeEliminationPass());
 
-    // Remove unreachable blocks also dead cycles
-    pass_manager.add(ikos_pp::create_remove_unreachable_blocks_pass());
-
     // Remove switch constructions (opt -lowerswitch)
     pass_manager.add(llvm::createLowerSwitchPass());
 
+    // Remove unreachable blocks also dead cycles
+    pass_manager.add(ikos_pp::create_remove_unreachable_blocks_pass());
+
     // Lower down atomic instructions (opt -loweratomic)
     pass_manager.add(llvm::createLowerAtomicPass());