Rename _transform_func to _func_axiom

Author: tothtamas28

pyk/src/pyk/klean/k2lean4.py

@@ -247,10 +247,10 @@ def inj(subsort: str, supersort: str, x: str) -> Term:
         return res
 
     def func_module(self) -> Module:
-        commands = [self._transform_func(func) for func in self.defn.functions]
+        commands = [self._func_axiom(func) for func in self.defn.functions]
         return Module(commands=commands)
 
-    def _transform_func(self, func: str) -> Axiom:
+    def _func_axiom(self, func: str) -> Axiom:
         ident = _symbol_ident(func)
         decl = self.defn.symbols[func]
         sort_params = [var.name for var in decl.symbol.vars]