tactics: add an example, also a test for a meta-arg bug
tactics: add an example, also a test for a meta-arg bug

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