Segregate data in symbolic rewriting

**please review**