diff --git a/prusti-interface/src/environment/mod.rs b/prusti-interface/src/environment/mod.rs
index 7f1acf512fe..368779a83b8 100644
--- a/prusti-interface/src/environment/mod.rs
+++ b/prusti-interface/src/environment/mod.rs
@@ -145,13 +145,16 @@ impl<'tcx> Environment<'tcx> {
             true
         } else {
             let param_env = self.tcx().param_env(caller_def_id);
-            if let Some(instance) = self
+            if let Some(_instance) = self
                 .tcx()
                 .resolve_instance(param_env.and((called_def_id, call_substs)))
                 .unwrap()
             {
-                self.tcx()
-                    .mir_callgraph_reachable((instance, caller_def_id.expect_local()))
+                // FIXME: This call panics due to stolen MIR. Therefore, we
+                // unsoundly assume that the callee is not reachable.
+                // self.tcx()
+                //     .mir_callgraph_reachable((instance, caller_def_id.expect_local()))
+                false
             } else {
                 true
             }