simplifier:
    simp delete dist-merge
;;    simp add dist-split

