(self, formula, args, **kwargs)
return res
If the formula appears in the substitution, return the substitution.
        Otherwise, rebuild the formula by calling the IdentityWalker.
If the formula appears in the substitution, return the substitution.
        Otherwise, rebuild the formula by calling the IdentityWalker.
If the formula appears in the substitution return the substitution . Otherwise rebuild the formula by calling the IdentityWalker .
def walk_identity_or_replace(self, formula, args, **kwargs):
        """
        If the formula appears in the substitution, return the substitution.
        Otherwise, rebuild the formula by calling the IdentityWalker.
        """
        substitutions = kwargs['substitutions']
        res = substitutions.get(formula, None)
        if res is None:
            res = Substituter.super(self, formula, args=args, **kwargs)
        return res
def walk_identity_or_replace ( self , formula , args , * * kwargs ) : substitutions = kwargs [ 'substitutions' ] res = substitutions . get ( formula , None ) if res is None : res = Substituter . super ( self , formula , args = args , * * kwargs ) return res