Added the new branch into the branch map in BranchChecker