@override Map<Variable, Node>? match(Node other) { final bindings = newBindings(); if (this != other) { bindings[this] = other; } return bindings; }