fixup! Enable to annotate functions with formula_fn

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: coord-e

src/analyze.rs

@@ -699,7 +699,7 @@ impl<'tcx> Analyzer<'tcx> {
         {
             let Some(formula_def_id) = formula_def_id.as_local() else {
                 panic!(
-                    "require annotation with path is expected to refer to a local def, but found: {:?}",
+                    "ensure annotation with path is expected to refer to a local def, but found: {:?}",
                     formula_def_id
                 );
             };