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)})