Add logging

pyk/src/pyk/kore/rule.py

@@ -1,5 +1,6 @@
 from __future__ import annotations
 
+import logging
 from abc import ABC
 from dataclasses import dataclass
 from typing import TYPE_CHECKING, final
@@ -15,6 +16,9 @@
     Attrs = dict[str, tuple[Pattern, ...]]
 
 
+_LOGGER: Final = logging.getLogger(__name__)
+
+
 # There's a simplification rule with irregular form in the prelude module INJ.
 # This rule is skipped in Rule.extract_all.
 _S1, _S2, _S3, _R = (SortVar(name) for name in ['S1', 'S2', 'S3', 'R'])
@@ -77,6 +81,7 @@ def _is_rule(axiom: Axiom) -> bool:
                         right=And(ops=(_, Top() | Equals())),
                     ),
                 ):
+                    _LOGGER.info(fr'Skipping \ceil or \equals simplification rule: {axiom.text}')
                     return False
 
         return True