Notify the user that term. does not work

kani-compiler/src/kani_middle/transform/check_aliasing/instrumentation.rs

@@ -359,7 +359,7 @@ impl<'tcx, 'cache> InstrumentationData<'tcx, 'cache> {
     pub fn instruction_actions(&self) -> Vec<Action> {
         let mut visitor = CollectActions::new(self.body.locals());
         match self.min_processed {
-            SourceInstruction::Terminator { .. } => { /* not yet handled */ }
+            SourceInstruction::Terminator { .. } => { eprintln!("Terminators (calls, gotos) do not yet update the stacked borrows state. ") }
             SourceInstruction::Statement { idx, bb } => {
                 visitor.visit_statement(&self.body.blocks()[bb].statements[idx]);
             }