work on branching in re: serial region
rule label -> rule label_stmt
more work on branching in re: serial region (maybe done)
update TODO