I am not sure if I understand clearly why Kiro's approach would not find the issue.