Suggesting fixes to students' code by using a solver to explore modifications to the program! https://youtu.be/NAoSTmCUlW0 (uses sketch)