Debug and fix issues in a GRACE 4 project using .grace semantic navigation, assertions, and verification evidence.