In nodal analysis, we use KCL at each node to read the node voltages. That is why we need to determine the branch currents. It will lead little difficulty to read the branch current, if it contains a voltage source between two nodes. At this case we use