tactics: split() should work for <==> too
tactics: split() should work for <==> too

Just remove the check, it's not helpful since it does not perform
unfoldings.

FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar