added more symbolic sequence tests (none pass)