@Override
    public Variable copy() {
        try {
            return (Variable)clone();
        } catch (CloneNotSupportedException e) {
            throw new Error();
        }
    }
@Override
    public Variable copy()