Translated Alloy_Debugging_and_Troubleshooting.md