Given the endOfBranch of a branch, this method
returns a List of strings, of the form
They represent the variables that are to be
declared before we enter into the branch
whose endOfBranch is given as argument.
Given the start index and the end index this method
returns a byte array that contain the byte values
with the start array value included and end array
excluded.