removed redundant lemma ListUtils.set_concat (very similar one existed in List)
removed unused and redundant (as it can be proved "by simp") lemma remove_list_to_set