Paper accepted at TOPLAS: Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors.