Added better structure for calculating control dependencies (branches as linked lists).