The following branches form a loop of rigid branches (shorts) when added to the circuit. V0: p (from vdd to 0)