move out msel case of subst lemma to avoid timeout in IDE