added seq rewrite rules