Cleaned up generator for seq1-3, and allows nesting optionally. Need to merge write specific bounds
Cleaned up generator for seq1-3, and allows nesting optionally. Need to merge write specific bounds

utsaslab/crashmonkey,utsaslab/crashmonkey,utsaslab/crashmonkey,utsaslab/crashmonkey