debug sunflow; avoid duplicate elem in treeset