Kirchhoff Loop and Junction Reasoning as a Solving Protocol