fixing issue 738

fixed https://github.com/kframework/k/issues/738
having toString method makes debugging easy. I made the change during debugging.