(self, formula, args, **kwargs)
return formula
We return the Theory subformulae without changes.
We return the Theory subformulae without changes.
We return the Theory subformulae without changes .
def walk_nop(self, formula, args, **kwargs):
        """We return the Theory subformulae without changes."""
        #pylint: disable=unused-argument
        return formula
def walk_nop ( self , formula , args , * * kwargs ) : #pylint: disable=unused-argument return formula