tactics: small tweak
tactics: small tweak

It doesn't make sense to add the goal and then try to solve it, only add
it if not trivial

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