Seol mar théacs é seo: Combining Code Analysis and Pedagogical Guidance: Automated Tools for Teaching Debugging in Introductory Programming