def visit(self, function: FunctionInstance): arg = function.arg if self.body in arg: arg = self.visit(arg) return FunctionInstance(function.function_name, arg, function.negate)
def visit(self, function: FunctionInstance): arg = self.visit(function.arg) return Clause( {FunctionInstance(function.function_name, arg, function.negate)})