def process_rule(self, a, b):   # TODO write more?
        if (not a) or isinstance(b, bool):
            return
        if isinstance(a, bool):
            return
        if (a, b) in self._rules_seen:
            return
        else:
            self._rules_seen.add((a, b))

        # this is the core of processing
        try:
            self._process_rule(a, b)
        except TautologyDetected:
            pass
Local port of the rule
dataset/ETHPy150Open sympy/sympy/sympy/core/facts.py/Prover.process_rule--crossover with--dataset/ETHPy150Open hakril/PythonForWindows/windows/winobject/network.py/FirewallRule.local_port