Removing useless use of metaids in tactic AST.