substitute method
Implementation
@override
Conjunction substitute(Map<Variable, Node>? bindings) =>
Conjunction(arguments.map((arg) => arg.substitute(bindings)));
@override
Conjunction substitute(Map<Variable, Node>? bindings) =>
Conjunction(arguments.map((arg) => arg.substitute(bindings)));