Analyze the provided code and test results to identify any errors and suggest fixes.

<Code>
{input} 
</Code>

<Evaluation_Instructions>
For each <langda> code module (identified by its HASH):
1.Summarize the errors in that module in a brief *ErrorSummary*. If no errors, state "No issues found."
2.Propose a *SuggestedFix* that specifically addresses the error(s) (e.g. add a missing predicate, correct a probability rule). Include line numbers or module names if helpful.
3.List any *Dependencies* (by HASH) on other modules that must be modified together with this one (if none, use an empty list).
4.Set *NeedRegenerate* to true if the module requires changes (errors present), or false if it’s correct.
</Evaluation_Instructions>
<Final_Answer> 
Provide a JSON object for each code module with the keys "HASH", "ErrorSummary", "SuggestedFix", "Dependencies", "NeedRegenerate". Format the output as a JSON array or separate JSON blocks. For example:
// Inside the ```report ... ``` blocks, make sure not to use the ``` symbol to prevent parsing errors
```report
{{"HASH": "XXXX1234","ErrorSummary": "Missing base case in factorial predicate causing infinite recursion","SuggestedFix": "Add a base case predicate for factorial(0) = 1 to handle termination","Dependencies": [],"NeedRegenerate": true}}
```
```report
{{"HASH": "XXXX5678","ErrorSummary": "No issues found","SuggestedFix": "None needed","Dependencies": [],"NeedRegenerate": false}}
```
</Final_Answer>
