public String toString() {
if (this.binding == null) return "";
if (parentEnvironment == null || parentEnvironment.binding == null)
return this.binding.toString();
else return this.binding.toString() + ", " + parentEnvironment.toString();
}