Cluster: Add lv[-lv] case in refute
Cluster: Add lv[lv+e] case in refute