public String toString() { return super.toString() + "(variable=" + variable.toString() + ", thunk=" + thunk.toString() + ")"; }