refactored branching method names

* gen_branch_* is used for generating that type of branch to a NEW
label, and returns a SemanticRec with the new label's information
* gen_branch_*_to is used for generating that type of branch to an
EXISTING label, and returns a SemanticRec with that label's information