Module Tac2tactics.RewriteStratsSource