Minor edit: Disable semantic check debugs